From 8e283704c31c474435310986fa0961ea67cbce2f Mon Sep 17 00:00:00 2001 From: Thomas Adams Date: Tue, 31 May 2022 16:29:46 -0700 Subject: [PATCH] Modified 1155 Burnable scripts --- ...RC1155Burnable.sh => verifyERC1155BurnableAll.sh} | 3 ++- certora/scripts/verifyERC1155BurnableSpecific.sh | 12 ++++++++++++ 2 files changed, 14 insertions(+), 1 deletion(-) rename certora/scripts/{verifyERC1155Burnable.sh => verifyERC1155BurnableAll.sh} (81%) create mode 100644 certora/scripts/verifyERC1155BurnableSpecific.sh diff --git a/certora/scripts/verifyERC1155Burnable.sh b/certora/scripts/verifyERC1155BurnableAll.sh similarity index 81% rename from certora/scripts/verifyERC1155Burnable.sh rename to certora/scripts/verifyERC1155BurnableAll.sh index e5da5470e..7a812f6ce 100644 --- a/certora/scripts/verifyERC1155Burnable.sh +++ b/certora/scripts/verifyERC1155BurnableAll.sh @@ -7,4 +7,5 @@ certoraRun \ --optimistic_loop \ --loop_iter 3 \ --cloud \ - --msg "ERC1155 Burnable verification" \ No newline at end of file + --msg "ERC1155 Burnable verification all rules" + \ No newline at end of file diff --git a/certora/scripts/verifyERC1155BurnableSpecific.sh b/certora/scripts/verifyERC1155BurnableSpecific.sh new file mode 100644 index 000000000..5f51ba4c5 --- /dev/null +++ b/certora/scripts/verifyERC1155BurnableSpecific.sh @@ -0,0 +1,12 @@ +make -C certora munged + +certoraRun \ + certora/harnesses/ERC1155/ERC1155BurnableHarness.sol \ + --verify ERC1155BurnableHarness:certora/specs/ERC1155Burnable.spec \ + --solc solc8.2 \ + --optimistic_loop \ + --loop_iter 3 \ + --cloud \ + --rule $1 \ + --msg "ERC1155 Burnable verification specific rule $1" + \ No newline at end of file