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

Added modified scripts to run previous ERC1155 spec

Browse Source
This commit is contained in:
Thomas Adams
2022-06-06 10:36:26 -07:00
parent be18334b69
commit 69d9ebfcdf
2 changed files with 24 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
certora/scripts/verifyERC1155All.sh Normal file
View File

@ -0,0 +1,11 @@
make -C certora munged
certoraRun \
certora/munged/token/ERC1155/ERC1155.sol \
--verify ERC1155:certora/specs/ERC1155.spec \
--solc solc8.2 \
--optimistic_loop \
--loop_iter 3 \
--cloud \
--send_only \
--msg "ERC1155 Burnable verification all rules"

13
certora/scripts/verifyERC1155Specific.sh Normal file
View File

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