From ffa3daa5d9593dd51a2e3400bad5654a5da49328 Mon Sep 17 00:00:00 2001 From: Thomas Adams Date: Mon, 6 Jun 2022 11:42:13 -0700 Subject: [PATCH] Modified verification scripts and Supply spec syntax --- certora/scripts/verifyERC1155Pausable.sh | 2 +- certora/scripts/verifyERC1155Supply.sh | 2 +- certora/specs/ERC1155Supply.spec | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/certora/scripts/verifyERC1155Pausable.sh b/certora/scripts/verifyERC1155Pausable.sh index 9af2aa8c4..2c41d9f54 100755 --- a/certora/scripts/verifyERC1155Pausable.sh +++ b/certora/scripts/verifyERC1155Pausable.sh @@ -8,4 +8,4 @@ certoraRun \ --loop_iter 3 \ --send_only \ --cloud \ - --msg "ERC1155 Pausable verification" + --msg "ERC1155 Pausable verification all rules" diff --git a/certora/scripts/verifyERC1155Supply.sh b/certora/scripts/verifyERC1155Supply.sh index 43f5b3797..09db4a55a 100755 --- a/certora/scripts/verifyERC1155Supply.sh +++ b/certora/scripts/verifyERC1155Supply.sh @@ -8,4 +8,4 @@ certoraRun \ --loop_iter 3 \ --cloud \ --send_only \ - --msg "ERC1155 Supply verification" + --msg "ERC1155 Supply verification all rules" diff --git a/certora/specs/ERC1155Supply.spec b/certora/specs/ERC1155Supply.spec index 8956a537a..cd894f6f7 100644 --- a/certora/specs/ERC1155Supply.spec +++ b/certora/specs/ERC1155Supply.spec @@ -35,12 +35,12 @@ filtered { rule singleTokenSafeTransferFromSafeBatchTransferFromEquivalence { assert false, - "TODO implement this rule using burn version as structural model" + "TODO implement this rule using burn version as structural model"; } rule multipleTokenSafeTransferFromSafeBatchTransferFromEquivalence { assert false, - "TODO implement this rule using burn version as structural model" + "TODO implement this rule using burn version as structural model"; } /******************************************************************************/