NoBey/openzeppelin-contracts
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix timelockcontroller

Browse Source
This commit is contained in:
Hadrien Croubois
2023-02-27 15:13:25 +01:00
parent 9f2d511d20
commit 150edce57b
2 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
certora/scripts/passes/verifyTimelock.sh
View File

@ -7,5 +7,5 @@ certoraRun \
--verify TimelockControllerHarness:certora/specs/TimelockController.spec \ --verify TimelockControllerHarness:certora/specs/TimelockController.spec \
--optimistic_loop \ --optimistic_loop \
--loop_iter 3 \ --loop_iter 3 \
--settings -byteMapHashingPrecision=32 \
$@ $@
# --settings -byteMapHashingPrecision=32 \

3
certora/specs/TimelockController.spec
View File

@ -11,8 +11,9 @@ methods {
isOperationReady(bytes32) returns(bool) isOperationReady(bytes32) returns(bool)
cancel(bytes32) cancel(bytes32)
schedule(address, uint256, bytes32, bytes32, bytes32, uint256) schedule(address, uint256, bytes, bytes32, bytes32, uint256)
execute(address, uint256, bytes, bytes32, bytes32) execute(address, uint256, bytes, bytes32, bytes32)
scheduleBatch(address[], uint256[], bytes[], bytes32, bytes32, uint256)
executeBatch(address[], uint256[], bytes[], bytes32, bytes32) executeBatch(address[], uint256[], bytes[], bytes32, bytes32)
_checkRole(bytes32) => DISPATCHER(true) _checkRole(bytes32) => DISPATCHER(true)
} }