From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Thu, 4 Jun 2015 18:32:46 +0000 (+0200)
Subject: Fix for last commit.
X-Git-Tag: cvc5-1.0.0~6308
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4c5687c51a0635fe6e7d4ba332b708ba0d9a1dfc;p=cvc5.git

Fix for last commit.
---

diff --git a/contrib/run-script-smtcomp2015 b/contrib/run-script-smtcomp2015
index 3602eb576..c46671c08 100755
--- a/contrib/run-script-smtcomp2015
+++ b/contrib/run-script-smtcomp2015
@@ -69,10 +69,10 @@ ALIA|AUFLIA|AUFLIRA|AUFNIRA|BV|UF|UFBV|UFIDL|UFLIA|UFLRA|UFNIA)
 LIA|LRA|NIA|NRA)
   trywith 60 --cbqi --no-cbqi-sat --full-saturate-quant
   trywith 60 --full-saturate-quant
-  trywith 60 --cbqi --no-cbqi-sat --cbqi --no-cbqi-sat-recurse --full-saturate-quant
+  trywith 60 --cbqi --no-cbqi-sat --cbqi-recurse --full-saturate-quant
   trywith 180 --qcf-tconstraint --full-saturate-quant
-  trywith 240 --cbqi --no-cbqi-sat --cbqi --no-cbqi-sat-recurse --full-saturate-quant
-  finishwith --cbqi --no-cbqi-sat --cbqi --no-cbqi-sat-recurse --pre-skolem-quant --full-saturate-quant
+  trywith 240 --cbqi --no-cbqi-sat --cbqi-recurse --full-saturate-quant
+  finishwith --cbqi --no-cbqi-sat --cbqi-recurse --pre-skolem-quant --full-saturate-quant
   ;;
 QF_AUFBV)
   trywith 600