Flush the trace stream before displaying sat results (#6162)

Z3Prover · Jul 14, 2022 · af80bd1 · af80bd1
1 parent 2f5fef9
commit af80bd1
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/cmd_context/cmd_context.cpp b/src/cmd_context/cmd_context.cpp
@@ -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;