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

Modified 1155 Burnable scripts

Browse Source
This commit is contained in:
Thomas Adams
2022-05-31 16:29:46 -07:00
parent 38495a5026
commit 8e283704c3
2 changed files with 14 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
certora/scripts/verifyERC1155Burnable.sh → certora/scripts/verifyERC1155BurnableAll.sh
View File

@ -7,4 +7,5 @@ certoraRun \
--optimistic_loop \ --optimistic_loop \
--loop_iter 3 \ --loop_iter 3 \
--cloud \ --cloud \
--msg "ERC1155 Burnable verification" --msg "ERC1155 Burnable verification all rules"

12
certora/scripts/verifyERC1155BurnableSpecific.sh Normal file
View File

@ -0,0 +1,12 @@
make -C certora munged
certoraRun \
certora/harnesses/ERC1155/ERC1155BurnableHarness.sol \
--verify ERC1155BurnableHarness:certora/specs/ERC1155Burnable.spec \
--solc solc8.2 \
--optimistic_loop \
--loop_iter 3 \
--cloud \
--rule $1 \
--msg "ERC1155 Burnable verification specific rule $1"