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 /src/prop | |
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 'src/prop')
0 files changed, 0 insertions, 0 deletions