chore: test nondet_difficult_funcs

morpho-org · Jun 20, 2024 · 302254f · 302254f
1 parent 0c9332a
commit 302254f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/certora/confs/SupplyCap.conf b/certora/confs/SupplyCap.conf
@@ -20,6 +20,8 @@
     "verify": "MetaMorphoHarness:certora/specs/SupplyCap.spec",
     "loop_iter": "2",
     "optimistic_loop": true,
+    "nondet_difficult_funcs": true,
+    "nondet_minimal_difficulty": "50",
     "rule_sanity": "basic",
     "server": "production",
     "msg": "MetaMorpho Supply Cap",