Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[Tools] TIT convertor fix version header
authorMERCIER Michael <michael.mercier@inria.fr>
Thu, 21 Jun 2018 13:35:33 +0000 (15:35 +0200)
committerMERCIER Michael <michael.mercier@inria.fr>
Thu, 21 Jun 2018 13:35:33 +0000 (15:35 +0200)
tools/simgrid_convert_TI_traces.py

index e77e526..b4b3f28 100755 (executable)
@@ -39,7 +39,7 @@ def convert_trace(trace_path, base_path, output_path, trace_version="1.0"):
 
         with open(new_file_path, "w") as new_trace:
             # Write header
-            new_trace.write("# version: " + trace_version)
+            new_trace.write("# version: " + trace_version + "\n")
 
             last_async_call_src = None
             last_async_call_dst = None