From 305da90407b7b8e37d5bb8ade7e1cfc49849fa10 Mon Sep 17 00:00:00 2001
From: Clark Barrett <barrett@cs.nyu.edu>
Date: Sat, 14 Jun 2014 17:25:03 -0700
Subject: [PATCH] Updated run script for QF_ABV

---
 contrib/run-script-smtcomp2014 | 3 +++
 1 file changed, 3 insertions(+)

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 \
-- 
2.30.2