Module prover_lab::plot
source · Constants
Functions
- 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.