diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-05-30 12:04:38 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-30 12:04:38 -0700 |
commit | 551a914cf9c09353712089bb0d7ad33b56adcc3f (patch) | |
tree | 3babb2c463fdebde1a0ccd79cf4a936b011df9ea /src/theory/quantifiers_engine.cpp | |
parent | 47dbf8d8b3e04810f79fd3069eb15ee1b2fb176d (diff) |
[SMT-COMP] Print non-(un)sat output to stderr (#2019)
In the SMT-COMP runscript, we are currently discarding output on stdout
that is not "sat" or "unsat" when using `trywith` (this is not the case
with `finishwith`). Due to this, our tests might miss cases where CVC4
fails and prints an error on stdout when using `trywith`. This commit
changes the script to print output other than "sat" or "unsat" to
stderr.
Diffstat (limited to 'src/theory/quantifiers_engine.cpp')
0 files changed, 0 insertions, 0 deletions