Visualizer: pgf output better floats

schedgen/schedgen-simulate.py

@@ -8,7 +8,6 @@ from schedgen.opt.schedule import read_from_file
 from schedgen.opt.helper import message, file_or_dir_path, new_file_path, file_path
 from schedgen.parsers.gridtpt import GridTPT
 from schedgen.parsers.csvresult import CSVResult
-from sys import stdout
 
 args_parser = argparse.ArgumentParser(
     description="Simulate a schedule on a set of bechmarks."

schedgen/schedgen-visualize.py

@@ -133,7 +133,7 @@ def print_tiks(table_width, total_time, row, output_file):
 def print_times(table_width, total_time, row, output_file):
     y = row * 0.5 - 0.23
     output_file.write(f"\\node at (0,{y}) {{{font_cmd} 0}};\n")
-    output_file.write(f"\\node at ({table_width},{y}) {{{font_cmd} {total_time}}};\n")
+    output_file.write(f"\\node at ({table_width},{y}) {{{font_cmd} {total_time:g}}};\n")
 
 
 def render_markings(total_time, canvas):