mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
Flush the trace stream before displaying sat results (#6162)
This commit is contained in:
parent
2f5fef92b7
commit
af80bd18ce
|
@ -1827,6 +1827,10 @@ void cmd_context::add_declared_functions(model& mdl) {
|
|||
}
|
||||
|
||||
void cmd_context::display_sat_result(lbool r) {
|
||||
if (has_manager() && m().has_trace_stream()) {
|
||||
m().trace_stream().flush();
|
||||
}
|
||||
|
||||
switch (r) {
|
||||
case l_true:
|
||||
regular_stream() << "sat" << std::endl;
|
||||
|
|
Loading…
Reference in a new issue