Module prover_lab::plot

Constants

• COLOR_PALETTE
• DARK_GRAY
• GRAY
• GRAY_PALETTE
• LIGHT_GRAY
• MEDIUM_GRAY

Functions

• plot_benchmarks_to_file
  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.
• plot_svg