Function prover_lab::z3log::plot_instantiations

source · 
pub fn plot_instantiations(
    times: &[(String, Vec<usize>)],
    title: &str,
    top_n: usize
) -> SVGWrapper
Expand description

Plot the instantiations.