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).