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 /examples/hashsmt/sha1.hpp | |
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 'examples/hashsmt/sha1.hpp')
0 files changed, 0 insertions, 0 deletions