removed flags for erc20Votes script

3 years ago · 3cb87abec1
parent 61fa061ecf
commit 3cb87abec1
1 changed files with 0 additions and 1 deletions
--- a/certora/scripts/verifyERC20Votes.sh
+++ b/certora/scripts/verifyERC20Votes.sh
@ -4,5 +4,4 @@ certoraRun \
    --solc solc8.2 \
    --optimistic_loop \
    --cloud \
-    --settings -strictDecompiler=false,-assumeUnwindCond \
    --msg "sanityVotes"