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.