(no commit message)
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 5 Feb 2010 15:31:22 +0000 (15:31 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 5 Feb 2010 15:31:22 +0000 (15:31 +0000)
system/TestMain.py

index 3161ea7..dadcfaf 100755 (executable)
@@ -375,6 +375,7 @@ steps refer to a method in TestPlc or to a step_* module
                     # duplicate on trace_file if provided
                     if self.options.trace_file:
                         trace.write(TRACE_FORMAT%locals())
+                        trace.flush()
 
         if self.options.trace_file and not self.options.dry_run:
             trace.close()