Function prover_lab::plot::plot_benchmarks_to_file

pub fn plot_benchmarks_to_file(
    fname: &str,
    benchmarks: &[Benchmark]
) -> Result<()>

Plot a set of benchmarks to an SVG file. The first entry in the list determines ranking: only data points for labels used in this benchmark are plotted, and in the order they appear in the first benchmark.