Merge pull request #693 from morpho-org/certora/update-verif

[Certora] New syntax for enabling bitvector theory
morpho-org · Sep 27, 2024 · 4a8ccc8 · 4a8ccc8
2 parents 0448402 + 2e75cdc
commit 4a8ccc8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/certora/confs/LibSummary.conf b/certora/confs/LibSummary.conf
@@ -6,7 +6,7 @@
     "verify": "MorphoHarness:certora/specs/LibSummary.spec",
     "rule_sanity": "basic",
     "prover_args": [
-        "-useBitVectorTheory",
+        "-smt_bitVectorTheory true"
     ],
     "server": "production",
     "msg": "Morpho Blue Lib Summary"