From 14b40eddcbe64ec41f232b22849d31f18e8c9854 Mon Sep 17 00:00:00 2001
From: Hadrien Croubois <hadrien.croubois@gmail.com>
Date: Mon, 27 Feb 2023 15:25:04 +0100
Subject: [PATCH] add --optimistic_hashing

---
 certora/scripts/passes/verifyTimelock.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/certora/scripts/passes/verifyTimelock.sh b/certora/scripts/passes/verifyTimelock.sh
index 713324a82..c1b9d44c9 100644
--- a/certora/scripts/passes/verifyTimelock.sh
+++ b/certora/scripts/passes/verifyTimelock.sh
@@ -7,5 +7,5 @@ certoraRun \
     --verify TimelockControllerHarness:certora/specs/TimelockController.spec \
     --optimistic_loop \
     --loop_iter 3 \
+    --optimistic_hashing \
     $@
-#    --settings -byteMapHashingPrecision=32 \