Add 'benchcomp visualize' & error on regression#2348

karkhaz merged 1 commit into

model-checking:mainmodel-checking/kani:mainfrom

karkhaz:kk-visualize-error-on-regressionkarkhaz/kani:kk-visualize-error-on-regressionCopy head branch name to clipboard