diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2015-06-14 20:38:41 -0700 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2015-06-14 20:38:41 -0700 |
| commit | 34bc21dfd0fee27336019d26d60db57532336257 (patch) | |
| tree | 3b8efb6c4780a03d4f46ee0abe9635c85c4ff84c /contrib | |
| parent | da4276464f90ffd091cc98ee1f74412018481eb3 (diff) | |
Changing options for QF_AUFNIA to avoid bug
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/run-script-smtcomp2015 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/contrib/run-script-smtcomp2015 b/contrib/run-script-smtcomp2015 index 2dac38935..846459f23 100755 --- a/contrib/run-script-smtcomp2015 +++ b/contrib/run-script-smtcomp2015 @@ -91,6 +91,9 @@ QF_BV) #trywith 600 --decision=internal --bitblast-eager #finishwith --decision=justification --decision-use-weight --decision-weight-internal=usr1 ;; +QF_AUFNIA) + finishwith --decision=justification --no-arrays-eager-index --arrays-eager-lemmas + ;; QF_AUFLIA|QF_AX) finishwith --no-arrays-eager-index --arrays-eager-lemmas ;; |