openzeppelin-contracts/certora/scripts/sanityTokens.sh

#!/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