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.