From: Clark Barrett <barrett@cs.nyu.edu>
Date: Sun, 15 Jun 2014 00:25:03 +0000 (-0700)
Subject: Updated run script for QF_ABV
X-Git-Tag: cvc5-1.0.0~6717
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=305da90407b7b8e37d5bb8ade7e1cfc49849fa10;p=cvc5.git

Updated run script for QF_ABV
---

diff --git a/contrib/run-script-smtcomp2014 b/contrib/run-script-smtcomp2014
index 55f274234..31ee4cf4d 100755
--- a/contrib/run-script-smtcomp2014
+++ b/contrib/run-script-smtcomp2014
@@ -69,6 +69,9 @@ QF_AUFBV)
   trywith 600
   finishwith --decision=justification-stoponly
   ;;
+QF_ABV)
+  finishwith --ite-simp --simp-with-care --repeat-simp
+  ;;
 QF_BV)
   exec ./pcvc4 -L smt2 --no-incremental --no-checking --no-interactive \
          --threads 2 \