Skip to content
Kani Extra

Bump Kani version to 0.44.0 #312

Sign in to view logs

Bump Kani version to 0.44.0

Bump Kani version to 0.44.0 #312

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Auto Label
5s
Auto Label
10s
Verification Benchmarks / perf-benchcomp
49m 9s
Verification Benchmarks / perf-benchcomp
1h 2m 56s
1h 52m 20s