ERC721.conf 265 B

12345678910
  1. {
  2. "files": [
  3. "certora/harnesses/ERC721Harness.sol",
  4. "certora/harnesses/ERC721ReceiverHarness.sol"
  5. ],
  6. "optimistic_loop": true,
  7. "process": "emv",
  8. "url_visibility": "public",
  9. "verify": "ERC721Harness:certora/specs/ERC721.spec"
  10. }