[#95] Update hashing_length_bound to 320

5afe · Sep 19, 2023 · 19cba7a · 19cba7a
1 parent 7c9f352
commit 19cba7a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/certora/confs/run.conf b/certora/confs/run.conf
@@ -9,7 +9,7 @@
         "contracts/test/TestPlugin.sol"
 
     ],
-    "hashing_length_bound": "100",
+    "hashing_length_bound": "320",
     "link": [
         "SafeProtocolManager:registry=SafeProtocolRegistry"
     ],