TimelockController wating for hash fix

2022-03-11 00:29:03 +00:00
parent 1900c86c99
commit 7caa9bbb2c
5 changed files with 336 additions and 37 deletions
--- a/certora/scripts/verifyTimelock.sh
+++ b/certora/scripts/verifyTimelock.sh
@ -1,7 +1,9 @@
 certoraRun \
-    certora/harnesses/TimelockControllerHarness.sol \
+    certora/harnesses/TimelockControllerHarness.sol certora/harnesses/AccessControlHarness.sol \
    --verify TimelockControllerHarness:certora/specs/TimelockController.spec \
    --solc solc8.2 \
    --optimistic_loop \
-    --cloud \
-    --msg "sanity"
+    --cloud alex/uhf-more-precision \
+    --rule_sanity \
+    --msg "sanity flag check"
+