| 12345678910111213141516171819202122232425262728293031323334 |
- # 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 solc --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 solc \
- --optimistic_loop \
- --cloud \
- --msg "sanity and keccak check"
- # Votes
- # certoraRun \
- # certora/harnesses/VotesHarness.sol \
- # --verify VotesHarness:certora/specs/sanity.spec \
- # --solc solc \
- # --optimistic_loop \
- # --cloud \
- # --settings -strictDecompiler=false,-assumeUnwindCond \
- # --msg "sanityVotes"
|