ERC721

OpenZeppelin · Sep 8, 2023 · 9891051 · 9891051
1 parent 8ab9afe
commit 9891051
Show file tree

Hide file tree

Showing 3 changed files with 158 additions and 75 deletions.
diff --git a/certora/harnesses/ERC721Harness.sol b/certora/harnesses/ERC721Harness.sol
@@ -23,10 +23,6 @@ contract ERC721Harness is ERC721 {
         _burn(tokenId);
     }
 
-    function tokenExists(uint256 tokenId) external view returns (bool) {
-        return _ownerOf(tokenId) != address(0);
-    }
-
     function unsafeOwnerOf(uint256 tokenId) external view returns (address) {
         return _ownerOf(tokenId);
     }

diff --git a/certora/run.js b/certora/run.js
@@ -64,7 +64,7 @@ if (process.exitCode) {
 }
 
 for (const { spec, contract, files, options = [] } of specs) {
-  limit(runCertora, spec, contract, files, [...options.flatMap(opt => opt.split(' ')), ...argv.options]);
+  limit(runCertora, spec, contract, files, [...options, ...argv.options].flatMap(opt => opt.split(' ')));
 }
 
 // Run certora, aggregate the output and print it at the end