as2fm.trace_visualizer.visualizer.Traces

class as2fm.trace_visualizer.visualizer.Traces(fname: str, left_to_right: bool = False)

Bases: object

A class to represent a trace csv file produced by smc_storm.

__init__(fname: str, left_to_right: bool = False)

Methods

__init__(fname[, left_to_right])
print_info_about_result()	Plot index of first Verified and first Falsified trace.
write_trace_to_img(trace_no, fname)	Write one trace to image file.

print_info_about_result()

Plot index of first Verified and first Falsified trace.

write_trace_to_img(trace_no: int, fname: str)

Write one trace to image file.

Args:

trace_no: The index of the trace to write. fname: The name of the file to write to.