reintroduce prover args to guards conf because moduleGuardCalledRetur…

…n and txnGuardCalled are vioalted otherwise
Certora · Dec 18, 2024 · 019aef5 · 019aef5
1 parent c97107a
commit 019aef5
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/certora/conf/v1.5/guards.conf b/certora/conf/v1.5/guards.conf
@@ -24,5 +24,10 @@
     "rule_sanity": "basic",
 
     "solc": "solc7.6",
-    "solc_via_ir": false, 
+    "solc_via_ir": false,  
+
+    "prover_args": [
+        " -verifyCache -verifyTACDumps -testMode -checkRuleDigest -callTraceHardFail on",
+        "-enableSolidityBasedInlining true"
+    ],
 }