diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-05-06 11:44:34 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-06 11:44:34 -0700 |
| commit | 00badd3a63a2fa568373d5c58553944b579d42bb (patch) | |
| tree | 13aa4a24c9eb647673e20e92b936fbca617b5b33 /contrib/cut-release | |
| parent | 21376f1b756a237004adb9ba11c10566685a9605 (diff) | |
Update run scripts for SMT-COMP 2020 (#4454)
This commit adds additional options for the model validation track and
makes sure that non-"sat"/"unsat" outputs from the sequential porfolio
approaches are written to a file instead of stderr when running on
StarExec.
Diffstat (limited to 'contrib/cut-release')
0 files changed, 0 insertions, 0 deletions