Use readFileSync

Co-authored-by: Hadrien Croubois <[email protected]>
OpenZeppelin · Oct 23, 2024 · f30191f · f30191f
1 parent 3322a26
commit f30191f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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);