11 lines
323 B
Bash
11 lines
323 B
Bash
|
certoraRun \
|
||
|
contracts/tokens/CommunityERC721.sol \
|
||
|
certora/harness/CommunityERC721Harness.sol \
|
||
|
--verify CommunityERC721Harness:certora/specs/CommunityERC721.spec \
|
||
|
--packages @openzeppelin=lib/openzeppelin-contracts \
|
||
|
--optimistic_loop \
|
||
|
--loop_iter 3 \
|
||
|
--rule_sanity "basic" \
|
||
|
--msg "Verifying CommunityERC721.sol"
|
||
|
|