NoBey/openzeppelin-contracts
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

FixingScriptsToWorkWithNewChanges

Browse Source
This commit is contained in:
Aleksander Kryukov
2021-12-01 11:59:59 +02:00
parent 96c6120609
commit dae72a7e1b
2 changed files with 24 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
certora/scripts/WizardControlFirstPriority.sh
View File

@ -2,6 +2,7 @@ certoraRun certora/harnesses/ERC20VotesHarness.sol certora/harnesses/WizardContr
--link WizardControlFirstPriority:token=ERC20VotesHarness \ --link WizardControlFirstPriority:token=ERC20VotesHarness \
--verify WizardControlFirstPriority:certora/specs/GovernorBase.spec \ --verify WizardControlFirstPriority:certora/specs/GovernorBase.spec \
--solc solc8.2 \ --solc solc8.2 \
--disableLocalTypeChecking \
--staging shelly/forSasha \ --staging shelly/forSasha \
--optimistic_loop \ --optimistic_loop \
--settings -copyLoopUnroll=4 \ --settings -copyLoopUnroll=4 \

43
certora/scripts/verifyAll.sh
View File

@ -4,27 +4,30 @@ do
do do
contractFile=$(basename $contract) contractFile=$(basename $contract)
specFile=$(basename $spec) specFile=$(basename $spec)
echo "Processing ${contractFile%.*} with $specFile" if [[ "${specFile%.*}" != "RulesInProgress" ]];
if [[ "${contractFile%.*}" = *"WizardControl"* ]];
then then
certoraRun certora/harnesses/ERC20VotesHarness.sol certora/harnesses/$contractFile \ echo "Processing ${contractFile%.*} with $specFile"
--link ${contractFile%.*}:token=ERC20VotesHarness \ if [[ "${contractFile%.*}" = *"WizardControl"* ]];
--verify ${contractFile%.*}:certora/specs/$specFile "$@" \ then
--solc solc8.2 \ certoraRun certora/harnesses/ERC20VotesHarness.sol certora/harnesses/$contractFile \
--staging shelly/forSasha \ --link ${contractFile%.*}:token=ERC20VotesHarness \
--disableLocalTypeChecking \ --verify ${contractFile%.*}:certora/specs/$specFile "$@" \
--optimistic_loop \ --solc solc8.2 \
--settings -copyLoopUnroll=4 \ --staging shelly/forSasha \
--msg "checking $specFile on ${contractFile%.*}" --disableLocalTypeChecking \
else --optimistic_loop \
certoraRun certora/harnesses/ERC20VotesHarness.sol certora/harnesses/$contractFile \ --settings -copyLoopUnroll=4 \
--verify ${contractFile%.*}:certora/specs/$specFile "$@" \ --msg "checking $specFile on ${contractFile%.*}"
--solc solc8.2 \ else
--staging shelly/forSasha \ certoraRun certora/harnesses/ERC20VotesHarness.sol certora/harnesses/$contractFile \
--disableLocalTypeChecking \ --verify ${contractFile%.*}:certora/specs/$specFile "$@" \
--optimistic_loop \ --solc solc8.2 \
--settings -copyLoopUnroll=4 \ --staging shelly/forSasha \
--msg "checking $specFile on ${contractFile%.*}" --disableLocalTypeChecking \
--optimistic_loop \
--settings -copyLoopUnroll=4 \
--msg "checking $specFile on ${contractFile%.*}"
fi
fi fi
done done
done done