Skip to content
Kani Extra

Improve Kani handling of function markers #2660

Sign in to view logs

Improve Kani handling of function markers

Improve Kani handling of function markers #2660

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Auto Label
4s
Auto Label
3s
Verification Benchmarks / perf-benchcomp
1h 12m 13s
Verification Benchmarks / perf-benchcomp
1h 8m 19s
2h 20m 39s