Resolve path

OpenZeppelin · Oct 23, 2024 · 3322a26 · 3322a26
1 parent 4d3d97b
commit 3322a26
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/certora/run.js b/certora/run.js
@@ -10,16 +10,12 @@
 import { spawn } from 'child_process';
 import { PassThrough } from 'stream';
 import { once } from 'events';
-import { fileURLToPath } from 'url';
 import path from 'path';
 import yargs from 'yargs';
 import { hideBin } from 'yargs/helpers';
 import pLimit from 'p-limit';
 import fs from 'fs/promises';
 
-const __filename = fileURLToPath(import.meta.url);
-const __dirname = path.dirname(__filename);
-
 const argv = yargs(hideBin(process.argv))
   .env('')
   .options({
@@ -30,7 +26,7 @@ const argv = yargs(hideBin(process.argv))
     spec: {
       alias: 's',
       type: 'string',
-      default: path.join(__dirname, 'specs.json'),
+      default: path.resolve(import.meta.dirname, 'specs.json'),
     },
     parallel: {
       alias: 'p',