ignore solidity warnings certora

term-finance · Jun 26, 2024 · a08d26e · a08d26e
1 parent 47592d6
commit a08d26e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/certora/confs/termRepoServicer-redemptionsReverts.conf b/certora/confs/termRepoServicer-redemptionsReverts.conf
@@ -25,7 +25,7 @@
 		"-splitParallelInitialDepth 5"
 	],
     "solc_optimize": "50",
-    "contract_compiler_skip_severe_warning_as_error": true,
+    "ignore_solidity_warnings": true,
     "loop_iter": "2",
     "optimistic_loop": true,
     "smt_timeout": "7200",