| 1234567891011121314151617181920212223242526272829303132333435 |
- # make -C certora munged
- # for f in certora/harnesses/Wizard*.sol
- # do
- # echo "Processing $f"
- # file=$(basename $f)
- # echo ${file%.*}
- # certoraRun certora/harnesses/$file \
- # --verify ${file%.*}:certora/specs/sanity.spec "$@" \
- # --solc solc8.2 --staging shelly/forSasha \
- # --optimistic_loop \
- # --msg "checking sanity on ${file%.*}"
- # --settings -copyLoopUnroll=4
- # done
- # TimelockController
- # certoraRun \
- # certora/harnesses/TimelockControllerHarness.sol \
- # --verify TimelockControllerHarness:certora/specs/sanity.spec \
- # --solc solc8.2 \
- # --optimistic_loop \
- # --cloud \
- # --msg "sanity"
- # Votes
- certoraRun \
- certora/harnesses/VotesHarness.sol \
- --verify VotesHarness:certora/specs/sanity.spec \
- --solc solc8.2 \
- --optimistic_loop \
- --cloud \
- --settings -strictDecompiler=false,-assumeUnwindCond \
- --msg "sanityVotes"
|