Commit 9188c98

committed

Read stderr and return an error if it is not empty

1 parent ffb61e5 commit 9188c98Copy full SHA for 9188c98

4 files changed

+1190

-13

lines changed

src
- it
  - resources/regression/smtlib/solving/z3-tactic
    - failed-to-validate.smt2.want
    - failed-to-validate.smt2
  - scala/smtlib/it
    - SmtLibRunnerTests.scala
- main/scala/smtlib/interpreters
  - ProcessInterpreter.scala

4 files changed

+1190

-13

lines changed

Comments

(0)