mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
adding SMT2 log file for solver interaction #867
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
f6f3ca1507
commit
6ddce9d5be
|
@ -72,6 +72,7 @@ extern "C" {
|
|||
m_pp_util.display_expr(m_out, asms[i]);
|
||||
}
|
||||
m_out << ")\n";
|
||||
m_out.flush();
|
||||
}
|
||||
|
||||
solver2smt2_pp::solver2smt2_pp(ast_manager& m, char const* file): m_pp_util(m), m_out(file) {
|
||||
|
|
Loading…
Reference in a new issue