projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 51398ff)
update application track script too
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 13 Jun 2014 15:00:24 +0000 (11:00 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 13 Jun 2014 15:00:24 +0000 (11:00 -0400)
contrib/run-script-smtcomp2014-application patch | blob | history

diff --git a/contrib/run-script-smtcomp2014-application b/contrib/run-script-smtcomp2014-application
index c754818b7e3a7cc213b2d3da3de21e4416173de1..16ee64bffeb3567d90fca1965b7be8c063f1eb1d 100755 (executable)
--- 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
   ;;
 *)