| 1234567891011121314151617 |
- #!/bin/bash
- make -C certora munged
- for f in certora/harnesses/ERC20{Votes,Permit,Wrapper}Harness.sol
- do
- echo "Processing $f"
- file=$(basename $f)
- echo ${file%.*}
- certoraRun certora/harnesses/$file \
- --verify ${file%.*}:certora/specs/sanity.spec "$@" \
- --solc solc8.2 --staging \
- --optimistic_loop \
- --msg "checking sanity on ${file%.*}" \
- --settings -copyLoopUnroll=4,-strictDecompiler=false \
- --send_only
- done
|