diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2014-06-13 00:38:33 -0700 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2014-06-13 00:38:33 -0700 |
| commit | 51398ff82f7f611aaac64a8f2866f34942ffe642 (patch) | |
| tree | 8acd799d6b7ebaf53a3859a0126e97bac74077b9 | |
| parent | 0cbff62b9ef98665860ccb5b4167d2e46396019b (diff) | |
Update for QF_AUFLIA strategy
| -rwxr-xr-x | contrib/run-script-smtcomp2014 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/run-script-smtcomp2014 b/contrib/run-script-smtcomp2014 index a12cd4471..a6c53c1cd 100755 --- a/contrib/run-script-smtcomp2014 +++ b/contrib/run-script-smtcomp2014 @@ -75,7 +75,7 @@ QF_BV) trywith 600 --decision=internal --bitblast-eager finishwith --decision=justification --decision-use-weight --decision-weight-internal=usr1 ;; -QF_AX) +QF_AUFLIA|QF_AX) finishwith --no-arrays-eager-index --arrays-eager-lemmas ;; *) |