chore: plain injectivity for assets accounting

morpho-org · Dec 4, 2023 · b45083c · b45083c
1 parent 53cf55c
commit b45083c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/certora/confs/AssetsAccounting.conf b/certora/confs/AssetsAccounting.conf
@@ -5,6 +5,7 @@
     "verify": "MorphoHarness:certora/specs/AssetsAccounting.spec",
     "rule_sanity": "basic",
     "prover_args": [
+        "-smt_hashingScheme plaininjectivity",
         "-mediumTimeout 30",
     ],
     "msg": "Morpho Blue Assets Accounting"