From f3f26e3ff350accb5fab5e0f92b1132c2ba4e9e4 Mon Sep 17 00:00:00 2001 From: Thomas Adams Date: Thu, 2 Jun 2022 14:25:08 -0700 Subject: [PATCH] Modified verification scripts to include --send_only flag --- certora/scripts/verifyERC1155BurnableAll.sh | 1 + certora/scripts/verifyERC1155BurnableSpecific.sh | 1 + certora/scripts/verifyERC1155Pausable.sh | 1 + certora/scripts/verifyERC1155Supply.sh | 1 + 4 files changed, 4 insertions(+) diff --git a/certora/scripts/verifyERC1155BurnableAll.sh b/certora/scripts/verifyERC1155BurnableAll.sh index 7a812f6ce..da19cc9d7 100644 --- 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" \ No newline at end of file diff --git a/certora/scripts/verifyERC1155BurnableSpecific.sh b/certora/scripts/verifyERC1155BurnableSpecific.sh index 5f51ba4c5..bc98a86d7 100644 --- 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" \ No newline at end of file diff --git a/certora/scripts/verifyERC1155Pausable.sh b/certora/scripts/verifyERC1155Pausable.sh index 69a2bc527..9af2aa8c4 100755 --- 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" diff --git a/certora/scripts/verifyERC1155Supply.sh b/certora/scripts/verifyERC1155Supply.sh index 20552f216..43f5b3797 100755 --- 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"