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

filtered out relay, since it is havocing

Browse Source
This commit is contained in:
Michael George
2021-12-16 14:58:55 -05:00
parent 2a75aa19bd
commit 7912b1af7d
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
certora/specs/GovernorBase.spec
View File

@ -281,6 +281,7 @@ rule allFunctionsRevertIfExecuted(method f) filtered { f ->
&& f.selector != updateTimelock(address).selector && f.selector != updateTimelock(address).selector
&& f.selector != updateQuorumNumerator(uint256).selector && f.selector != updateQuorumNumerator(uint256).selector
&& f.selector != queue(address[],uint256[],bytes[],bytes32).selector && f.selector != queue(address[],uint256[],bytes[],bytes32).selector
&& f.selector != relay(address,uint256,bytes).selector
&& f.selector != 0xb9a61961 // __acceptAdmin() && f.selector != 0xb9a61961 // __acceptAdmin()
} { } {
env e; calldataarg args; env e; calldataarg args;
@ -302,6 +303,7 @@ rule allFunctionsRevertIfCanceled(method f) filtered {
&& f.selector != updateTimelock(address).selector && f.selector != updateTimelock(address).selector
&& f.selector != updateQuorumNumerator(uint256).selector && f.selector != updateQuorumNumerator(uint256).selector
&& f.selector != queue(address[],uint256[],bytes[],bytes32).selector && f.selector != queue(address[],uint256[],bytes[],bytes32).selector
&& f.selector != relay(address,uint256,bytes).selector
&& f.selector != 0xb9a61961 // __acceptAdmin() && f.selector != 0xb9a61961 // __acceptAdmin()
} { } {
env e; calldataarg args; env e; calldataarg args;