sanity rule preparations

2021-11-03 17:05:06 +02:00
parent 6776cc6ee4
commit cac49bfc2e
9 changed files with 45 additions and 16 deletions
--- a/certora/scripts/check.sh
+++ b/certora/scripts/check.sh
@ -4,4 +4,6 @@ Contract=$1
 Spec=$2
 shift 2
 certoraRun certora/harnesses/${Contract}Harness.sol \
-    --verify ${Contract}Harness:certora/specs/${Spec}.spec "$@"
+    --verify ${Contract}Harness:certora/specs/${Spec}.spec "$@" \
+    --solc solc8.0
+    
--- a/certora/scripts/sanity.sh
+++ b/certora/scripts/sanity.sh
@ -0,0 +1,9 @@
+for f in certora/harnesses/*.sol
+do
+    echo "Processing $f"
+    file=$(basename $f)
+    echo ${file%.*}
+    certoraRun certora/harnesses/$file \
+    --verify ${file%.*}:certora/specs/sanity.spec "$@" \
+    --solc solc8.0    
+done