Commit cf2382b

authored and

committed

Replacing failing test with a stable one

1 parent b5f9fc4 commit cf2382bCopy full SHA for cf2382b

5 files changed

+33

-1175

lines changed

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

5 files changed

+33

-1175

lines changed

Comments

(0)