Adjust incremental run script for QF_AX too.

diff --git a/contrib/run-script-smtcomp2014-application b/contrib/run-script-smtcomp2014-application
index 3703dcd2f61d11f3e51d90f1011e55cfb8dd3f25..c754818b7e3a7cc213b2d3da3de21e4416173de1 100755 (executable)
--- a/contrib/run-script-smtcomp2014-application
+++ b/contrib/run-script-smtcomp2014-application
@@ -30,10 +30,12 @@ LIA|LRA|NIA|NRA)
 QF_BV)
   runcvc4 --bv-eq-slicer=auto --decision=justification
   ;;
+QF_AX)
+  runcvc4 --no-arrays-eager-index --arrays-eager-lemmas
+  ;;
 *)
   # just run the default
   runcvc4
   ;;
 
 esac
-