Skip to content

Add optional scatterplot to benchcomp output #6330

Add optional scatterplot to benchcomp output

Add optional scatterplot to benchcomp output #6330

Triggered via pull request March 19, 2024 14:31
Status Success
Total duration 36m 6s
Artifacts

kani.yml

on: pull_request
Matrix: regression
Fit to window
Zoom out
Zoom in