From: Clark Barrett <barrett@cs.nyu.edu>
Date: Mon, 15 Jun 2015 03:38:41 +0000 (-0700)
Subject: Changing options for QF_AUFNIA to avoid bug
X-Git-Tag: cvc5-1.0.0~6272
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=34bc21dfd0fee27336019d26d60db57532336257;p=cvc5.git

Changing options for QF_AUFNIA to avoid bug
---

diff --git a/contrib/run-script-smtcomp2015 b/contrib/run-script-smtcomp2015
index 2dac38935..846459f23 100755
--- a/contrib/run-script-smtcomp2015
+++ b/contrib/run-script-smtcomp2015
@@ -91,6 +91,9 @@ QF_BV)
   #trywith 600 --decision=internal --bitblast-eager
   #finishwith --decision=justification --decision-use-weight --decision-weight-internal=usr1
   ;;
+QF_AUFNIA)
+  finishwith --decision=justification --no-arrays-eager-index --arrays-eager-lemmas
+  ;;
 QF_AUFLIA|QF_AX)
   finishwith --no-arrays-eager-index --arrays-eager-lemmas
   ;;