commented out failing rules and added solc version to ERC1155

2022-06-06 15:44:07 -04:00
parent a373d25b01
commit 234b843c36
2 changed files with 4 additions and 4 deletions
--- a/certora/scripts/old/verifyERC1155.sh
+++ b/certora/scripts/old/verifyERC1155.sh
@ -1,9 +1,9 @@
 certoraRun \
    certora/harnesses/ERC1155/ERC1155Harness.sol \
    --verify ERC1155Harness:certora/specs/ERC1155.spec \
-    --solc solc \
+    --solc solc8.2 \
    --optimistic_loop \
    --loop_iter 3 \
    --send_only \
    --msg "ERC1155"
-    
+