diff options
| author | Andres Noetzli <noetzli@stanford.edu> | 2021-06-14 16:45:17 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-14 23:45:17 +0000 |
| commit | 41d07960fd817d0d98b6bf65b2b3c2687837e46c (patch) | |
| tree | db078da62dfafe60930167ec6c22b6b1f9d35145 /contrib/competitions/smt-comp/run-script-smtcomp2016 | |
| parent | 0d51f9839eb4a242de33576d884af82004d68cf2 (diff) | |
Final update to SMT-COMP 2021 options (#6739)
This commit:
- Disables `--tear-down-incremental=X` for the competition since
it currently does not work correctly on master and a fixed version did
not show significant benefits.
- Changes the occurrences of `--nl-ext` to `--nl-ext=full` because it
is now a mode option.
- Removes the use of `--bv-assert-input` because the option currently
has some issues in incremental mode (#6738)
- Removes the use of `--bitblast=eager` for the model validation track
because it produces invalid models (#6741)
Diffstat (limited to 'contrib/competitions/smt-comp/run-script-smtcomp2016')
0 files changed, 0 insertions, 0 deletions