chore: increase timeout to 1h

morpho-org · Dec 4, 2023 · df92290 · df92290
1 parent b45083c
commit df92290
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/certora/confs/AssetsAccounting.conf b/certora/confs/AssetsAccounting.conf
@@ -7,6 +7,7 @@
     "prover_args": [
         "-smt_hashingScheme plaininjectivity",
         "-mediumTimeout 30",
+        "-timeout 3600"
     ],
     "msg": "Morpho Blue Assets Accounting"
 }