Modified verification scripts and Supply spec syntax

2022-06-06 11:42:13 -07:00
parent 990fd18c21
commit ffa3daa5d9
3 changed files with 4 additions and 4 deletions
--- 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"
--- 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"