From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 4 Jun 2014 00:14:42 +0000 (-0400)
Subject: Fixing run-script for smt-comp
X-Git-Tag: cvc5-1.0.0~6863
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dbdc83268d75b205198cbad5d60397de28705c65;p=cvc5.git

Fixing run-script for smt-comp
---

diff --git a/contrib/run-script-smtcomp2014 b/contrib/run-script-smtcomp2014
index 2b22b9727..3af41545a 100755
--- a/contrib/run-script-smtcomp2014
+++ b/contrib/run-script-smtcomp2014
@@ -26,7 +26,7 @@ function finishwith {
 case "$logic" in
 
 QF_LRA)
-  finishwith --no-restrict-pivots --enable-miplib-trick --miplib-trick-subs=2 --fc-penalties --collect-pivot-stats --use-soi --new-prop --dio-decomps --unconstrained-simp --fancy-final
+  finishwith --no-restrict-pivots --enable-miplib-trick --miplib-trick-subs=2 --fc-penalties --collect-pivot-stats --use-soi --new-prop --dio-decomps --unconstrained-simp --use-approx
   ;;
 AUFLIA|AUFLIRA|AUFNIRA|UFLRA|UFNIA)
   # the following is designed for a run time of 1500s.