fix: verify the corresponding specification

QGarchery · QGarchery · commit 82669d786545 · 2023-06-14T20:08:31.000+02:00
diff --git a/certora/scripts/verifyBitvectorMath.sh b/certora/scripts/verifyBitvectorMath.sh
@@ -2,7 +2,7 @@
 
 certoraRun \
     test/mocks/MathMock.sol \
-    --verify MathMock:certora/specs/math.spec \
+    --verify MathMock:certora/specs/bitvectorMath.spec \
     --settings -useBitVectorTheory \
     --msg "Math" \
     $@
