Flush on each line

runtimeverification · Jul 9, 2024 · 722e4f1 · 722e4f1
1 parent 5ff4008
commit 722e4f1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/pyk/src/pyk/utils.py b/pyk/src/pyk/utils.py
@@ -565,6 +565,7 @@ def readerthread(
             logger.info(f'{log_prefix}{stream_prefix} {line.rstrip()}')
             if output_fh:
                 output_fh.write(line)
+                output_fh.flush()
         input_fh.close()
 
     stdout_buff: list[str] = []