flush IO buffer after printing SMT queries; useful for debugging
MODIFY
smt/solver.cpp
smt/solver.cpp
@@ -293,7 +293,7 @@ Result Solver::check() const {
++num_queries;
if (print_queries)
- cout << "\nSMT query:\n" << Z3_solver_to_string(ctx(), s);
+ cout << "\nSMT query:\n" << Z3_solver_to_string(ctx(), s) << endl;
tactic->check();

flush IO buffer after printing SMT queries; useful for debugging