From f30191fb03870941d12be8afdc403adf5c419a5d Mon Sep 17 00:00:00 2001 From: cairo Date: Wed, 23 Oct 2024 10:43:17 +0200 Subject: [PATCH] Use `readFileSync` Co-authored-by: Hadrien Croubois --- certora/run.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/certora/run.js b/certora/run.js index 7c94d97784b..a5ad9eece3b 100755 --- a/certora/run.js +++ b/certora/run.js @@ -51,7 +51,7 @@ function match(entry, request) { return entry.spec == reqSpec && (!reqContract || entry.contract == reqContract); } -const specs = JSON.parse(await fs.readFile(argv.spec, 'utf8')).filter(s => argv.all || argv._.some(r => match(s, r))); +const specs = JSON.parse(fs.readFileSync(argv.spec, 'utf8')).filter(s => argv.all || argv._.some(r => match(s, r))); const limit = pLimit(argv.parallel);