2023-05-25 16:09:15 +00:00
|
|
|
if [[ "$1" ]]
|
|
|
|
|
then
|
|
|
|
|
RULE="--rule $1"
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if [[ "$2" ]]
|
|
|
|
|
then
|
|
|
|
|
MSG="- $2"
|
|
|
|
|
fi
|
|
|
|
|
|
2023-05-17 21:15:45 +00:00
|
|
|
certoraRun \
|
|
|
|
|
./contracts/mvp/CollectibleV1.sol \
|
|
|
|
|
--verify CollectibleV1:./specs/mvp/CollectibleV1.spec \
|
2023-05-25 16:09:15 +00:00
|
|
|
--packages @openzeppelin=node_modules/@openzeppelin \
|
|
|
|
|
--optimistic_loop \
|
|
|
|
|
--loop_iter 3 \
|
|
|
|
|
--rule_sanity \
|
|
|
|
|
--send_only \
|
|
|
|
|
$RULE \
|
|
|
|
|
--msg "CollectibleV1: $RULE $MSG"
|
|
|
|
|
|
