diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-05-04 17:00:53 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2020-05-04 18:12:53 -0700 |
| commit | 31362fed4a60abb4b4596683461c767ff05c840c (patch) | |
| tree | 6b6f893ba1a7d708260af7e9a3c69fda9e6dbfe3 /src/theory/quantifiers/macros.h | |
| parent | 8236d7f9bff3aef4f7b37a15d509b8a11551401f (diff) | |
Update run scripts for SMT-COMP 2020
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/theory/quantifiers/macros.h')
0 files changed, 0 insertions, 0 deletions