as2fm.trace_visualizer.main.main_trace_to_png

as2fm.trace_visualizer.main.main_trace_to_png()

converts a trace file produced by smc_storm into two images. One image for the first verified trace (if any) and one image for the first falsified trace (if any).