Automate release process via Changesets (#3915)

Co-authored-by: Francisco <fg@frang.io>
2023-01-18 17:34:32 -06:00
parent f81e5f51c1
commit 0c89a8b771
37 changed files with 4123 additions and 651 deletions
--- a/certora/scripts/verifyAll.sh
+++ b/certora/scripts/verifyAll.sh
@ -6,8 +6,8 @@ for contract in certora/harnesses/Wizard*.sol;
 do
    for spec in certora/specs/*.spec;
    do      
-        contractFile=$(basename $contract)
-        specFile=$(basename $spec)
+        contractFile="$(basename $contract)"
+        specFile="$(basename $spec)"
        if [[ "${specFile%.*}" != "RulesInProgress" ]];
        then
            echo "Processing ${contractFile%.*} with $specFile"