Modified verification scripts to include --send_only flag

2022-06-02 14:25:08 -07:00
parent 3eb67081f3
commit f3f26e3ff3
4 changed files with 4 additions and 0 deletions
--- a/certora/scripts/verifyERC1155BurnableAll.sh
+++ b/certora/scripts/verifyERC1155BurnableAll.sh
@ -6,6 +6,7 @@ certoraRun \
    --solc solc8.2 \
    --optimistic_loop \
    --loop_iter 3 \
+    --send_only \
    --cloud \
    --msg "ERC1155 Burnable verification all rules"
    
--- a/certora/scripts/verifyERC1155BurnableSpecific.sh
+++ b/certora/scripts/verifyERC1155BurnableSpecific.sh
@ -7,6 +7,7 @@ certoraRun \
    --optimistic_loop \
    --loop_iter 3 \
    --cloud \
+    --send_only \
    --rule $1 \
    --msg "ERC1155 Burnable verification specific rule $1"
    
--- a/certora/scripts/verifyERC1155Pausable.sh
+++ b/certora/scripts/verifyERC1155Pausable.sh
@ -6,5 +6,6 @@ certoraRun \
    --solc solc8.2 \
    --optimistic_loop \
    --loop_iter 3 \
+    --send_only \
    --cloud \
    --msg "ERC1155 Pausable verification"
--- a/certora/scripts/verifyERC1155Supply.sh
+++ b/certora/scripts/verifyERC1155Supply.sh
@ -7,4 +7,5 @@ certoraRun \
    --optimistic_loop \
    --loop_iter 3 \
    --cloud \
+    --send_only \
    --msg "ERC1155 Supply verification"