[−][src]Module tcb::causality_checker::petgraph
Mapping the results of the checker to the petgraph format.
Functions
plot_graph | Writes to a file the graph built by the causality checker using petgraph format. This file can be visualized by oppening it in a program that can read this format. The graph from the checker is returned from the check_causal_delivery function call. |