From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 13 Jun 2014 15:00:24 +0000 (-0400)
Subject: update application track script too
X-Git-Tag: cvc5-1.0.0~6822
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=46e95393e39eca02a7f1e69bd343b6286eddd5c4;p=cvc5.git

update application track script too
---

diff --git a/contrib/run-script-smtcomp2014-application b/contrib/run-script-smtcomp2014-application
index c754818b7..16ee64bff 100755
--- a/contrib/run-script-smtcomp2014-application
+++ b/contrib/run-script-smtcomp2014-application
@@ -30,7 +30,7 @@ LIA|LRA|NIA|NRA)
 QF_BV)
   runcvc4 --bv-eq-slicer=auto --decision=justification
   ;;
-QF_AX)
+QF_AUFLIA|QF_AX)
   runcvc4 --no-arrays-eager-index --arrays-eager-lemmas
   ;;
 *)