| 12345678910111213141516 |
- #!/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 solc --staging \
- --optimistic_loop \
- --msg "checking sanity on ${file%.*}" \
- --settings -copyLoopUnroll=4,-strictDecompiler=false
- done
|