From 34bc21dfd0fee27336019d26d60db57532336257 Mon Sep 17 00:00:00 2001 From: Clark Barrett Date: Sun, 14 Jun 2015 20:38:41 -0700 Subject: [PATCH] Changing options for QF_AUFNIA to avoid bug --- contrib/run-script-smtcomp2015 | 3 +++ 1 file changed, 3 insertions(+) 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 ;; -- 2.30.2