updated runFixedPoint script

opynfinance · Oct 22, 2020 · edd8414 · edd8414
1 parent 8ee8e07
commit edd8414
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/specs/runFixedPoint.sh b/specs/runFixedPoint.sh
@@ -1 +1 @@
-certoraRun ./FixedPointHarness.sol --verify FixedPointHarness:./fixedPoint.spec --path ../../ --settings -useNonLinearArithmetic --staging opyn/1
+certoraRun ./FixedPointHarness.sol --verify FixedPointHarness:./fixedPoint.spec --path ../../ --settings -useNonLinearArithmetic,-s=cvc4 --staging opyn/2