status-im
/
communities-contracts
mirror of https://github.com/status-im/communities-contracts.git
2
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

adjust config

This commit is contained in:
r4bbit 2024-02-21 16:47:31 +01:00
parent 8adb2cc618
commit 9194946d1d
No known key found for this signature in database
GPG Key ID: E95F1E9447DC91A9
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
certora/scripts/verify-collectible-v1.sh
View File

@ -1,7 +1,11 @@
certoraRun \
contracts/tokens/CollectibleV1.sol \
certora/harness/CollectibleV1Harness.sol \
contracts/tokens/OwnerToken.sol \
contracts/tokens/MasterToken.sol \
--verify CollectibleV1Harness:certora/specs/CollectibleV1.spec \
--link CollectibleV1Harness:ownerToken=OwnerToken \
--link CollectibleV1Harness:masterToken=MasterToken \
--packages @openzeppelin=lib/openzeppelin-contracts \
--optimistic_loop \
--loop_iter 3 \