fix: use solc path directly

morpho-org · Feb 2, 2024 · 46abbb2 · 46abbb2
1 parent 320af1d
commit 46abbb2
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/certora/confs/MerkleTrees.conf b/certora/confs/MerkleTrees.conf
@@ -2,10 +2,9 @@
     "files": [
         "certora/helpers/MerkleTrees.sol"
     ],
-    "solc": "solc8.19",
     "verify": "MerkleTrees:certora/specs/MerkleTrees.spec",
-    "loop_iter": "2",
     "optimistic_loop": true,
+    "loop_iter": "2",
     "rule_sanity": "basic",
     "server": "production",
     "msg": "Merkle Trees",