remove unnecessary args in conf files

Certora · Dec 18, 2024 · 8f011da · 8f011da
1 parent f2ed3c9
commit 8f011da
Show file tree

Hide file tree

Showing 4 changed files with 2 additions and 38 deletions.
diff --git a/certora/conf/v1.5/execute.conf b/certora/conf/v1.5/execute.conf
@@ -24,13 +24,4 @@
 
     "solc": "solc7.6",
     "solc_via_ir": false,  
-
-    "java_args": [
-        " -ea -Dlevel.setup.helpers=info"
-    ],
-    "process": "emv",
-    "prover_args": [
-        " -verifyCache -verifyTACDumps -testMode -checkRuleDigest -callTraceHardFail on",
-        "-enableSolidityBasedInlining true"
-    ],
 }
diff --git a/certora/conf/v1.5/fallback.conf b/certora/conf/v1.5/fallback.conf
@@ -24,14 +24,5 @@
     "rule_sanity": "basic",
 
     "solc": "solc7.6",
-    "solc_via_ir": false,  
-
-    "java_args": [
-        " -ea -Dlevel.setup.helpers=info"
-    ],
-    "process": "emv",
-    "prover_args": [
-        " -verifyCache -verifyTACDumps -testMode -checkRuleDigest -callTraceHardFail on",
-        "-enableSolidityBasedInlining true"
-    ]
+    "solc_via_ir": false,
 }
diff --git a/certora/conf/v1.5/guards.conf b/certora/conf/v1.5/guards.conf
@@ -24,14 +24,5 @@
     "rule_sanity": "basic",
 
     "solc": "solc7.6",
-    "solc_via_ir": false,  
-
-    "java_args": [
-        " -ea -Dlevel.setup.helpers=info"
-    ],
-    "process": "emv",
-    "prover_args": [
-        " -verifyCache -verifyTACDumps -testMode -checkRuleDigest -callTraceHardFail on",
-        "-enableSolidityBasedInlining true"
-    ],
+    "solc_via_ir": false, 
 }
diff --git a/certora/conf/v1.5/setup.conf b/certora/conf/v1.5/setup.conf
@@ -22,13 +22,4 @@
 
     "solc": "solc7.6",
     "solc_via_ir": false,  
-
-    "java_args": [
-        " -ea -Dlevel.setup.helpers=info"
-    ],
-    "process": "emv",
-    "prover_args": [
-        " -verifyCache -verifyTACDumps -testMode -checkRuleDigest -callTraceHardFail on",
-        "-enableSolidityBasedInlining true"
-    ]
 }