diff options
| -rwxr-xr-x | tests/run-multitests.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/run-multitests.py b/tests/run-multitests.py index 3163a48e6..66ca79967 100755 --- a/tests/run-multitests.py +++ b/tests/run-multitests.py @@ -243,6 +243,7 @@ def trace_instance_output(instance_idx, line): if cmd_args.trace_output: t_ms = round((time.time() - trace_t0) * 1000) print("{:6} i{} :".format(t_ms, instance_idx), line) + sys.stdout.flush() def run_test_on_instances(test_file, num_instances, instances): |