Skip to content
Kani Performance Benchmarks

Support for inductively verifying contracts of recursive functions (#… #183

Sign in to view logs

Support for inductively verifying contracts of recursive functions (#…

Support for inductively verifying contracts of recursive functions (#… #183

Triggered via push October 17, 2023 23:51
@JustusAdamJustusAdam
pushed 2d32361
main
Status Success
Total duration 1h 31m 48s
Artifacts –

bench.yml

on: push
perf-benchcomp
1h 31m
perf-benchcomp
Fit to window
Zoom out
Zoom in