From df88ea34d0c2b9c952933a55b4b0311fbd7c29fc Mon Sep 17 00:00:00 2001
From: Hadrien Croubois <hadrien.croubois@gmail.com>
Date: Thu, 4 May 2023 17:22:59 +0200
Subject: [PATCH] fix lint

---
 certora/run.js | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/certora/run.js b/certora/run.js
index 331630500..a3564a10d 100755
--- a/certora/run.js
+++ b/certora/run.js
@@ -59,12 +59,17 @@ if (process.exitCode) {
 }
 
 for (const { spec, contract, files, options = [] } of specs) {
-  limit(runCertora, spec, contract, files, [...options, ...argv.options].flatMap(opt => opt.split(' ')));
+  limit(runCertora, spec, contract, files, [...options, ...argv.options]);
 }
 
 // Run certora, aggregate the output and print it at the end
 async function runCertora(spec, contract, files, options = []) {
-  const args = [...files, '--verify', `${contract}:certora/specs/${spec}.spec`, ...options];
+  const args = [
+    ...files,
+    '--verify',
+    `${contract}:certora/specs/${spec}.spec`,
+    ...options.flatMap(opt => opt.split(' ')),
+  ];
   const child = proc.spawn('certoraRun', args);
 
   const stream = new PassThrough();