[−][src]Function tcb::causality_checker::petgraph::plot_graph
pub fn plot_graph(dag: ArrayMap<CheckNode>, filename: &String)
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.
Arguments
dag
- Graph built by the causality checker.
filename
- Filename to write the output into.