diff options
Diffstat (limited to 'contrib/run-script-smtcomp2014')
| -rwxr-xr-x | contrib/run-script-smtcomp2014 | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/contrib/run-script-smtcomp2014 b/contrib/run-script-smtcomp2014 index 454763cac..a12cd4471 100755 --- a/contrib/run-script-smtcomp2014 +++ b/contrib/run-script-smtcomp2014 @@ -76,8 +76,7 @@ QF_BV) finishwith --decision=justification --decision-use-weight --decision-weight-internal=usr1 ;; QF_AX) - trywith 2 - finishwith --no-arrays-model-based + finishwith --no-arrays-eager-index --arrays-eager-lemmas ;; *) # just run the default |