12 lines
518 B
Plaintext
12 lines
518 B
Plaintext
|
{
|
||
|
"files": ["contracts/tokens/CollectibleV1.sol", "contracts/tokens/OwnerToken.sol", "contracts/tokens/MasterToken.sol", "certora/harness/CollectibleV1Harness.sol"],
|
||
|
"verify": "CollectibleV1Harness:certora/specs/CollectibleV1.spec",
|
||
|
"link": ["CollectibleV1Harness:ownerToken=OwnerToken", "CollectibleV1Harness:masterToken=MasterToken"],
|
||
|
"packages": ["@openzeppelin=lib/openzeppelin-contracts"],
|
||
|
"optimistic_loop": true,
|
||
|
"loop_iter": "3",
|
||
|
"msg": "Verifying CollectibleV1.sol",
|
||
|
"rule_sanity": "basic"
|
||
|
}
|
||
|
|