ignore solidity warnings rollover manager

term-finance · Jun 20, 2024 · 23c8fea · 23c8fea
1 parent 8acea29
commit 23c8fea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/certora/confs/termRepoRolloverManager.conf b/certora/confs/termRepoRolloverManager.conf
@@ -15,7 +15,7 @@
     "solc_optimize": "50",
     "loop_iter": "3",
     "optimistic_loop": true,
-    "contract_compiler_skip_severe_warning_as_error": true,
+    "ignore_solidity_warnings": true,
     "parametric_contracts": [
         "TermRepoRolloverManagerHarness"
     ],