Skip to content
Kani

Verify safety of slice iterator functions with Kani (Challenge 18) #2465

Sign in to view logs

Verify safety of slice iterator functions with Kani (Challenge 18)

Verify safety of slice iterator functions with Kani (Challenge 18) #2465

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani Autoharness Analyzer
4m 21s
Verify std library using autoharness (ubuntu-latest)
4m 55s
Kani Metrics (macos-latest)
4m 39s
Kani List
4m 16s
Verify std library using autoharness (macos-latest)
3m 46s
Kani Metrics (ubuntu-latest)
4m 23s
Verify std library (partition 3)
4m 25s
Verify std library (partition 1)
4m 38s
Verify std library (partition 2)
4m 10s
Verify std library (partition 1)
4m 50s
Verify std library (partition 2)
5m 20s
Verify std library (partition 4)
4m 18s
Verify std library (partition 3)
4m 19s
Verify std library (partition 4)
5m 6s
Build JSON from logs
0s
1h 3m 26s