Skip to content
Kani

Verify safety of iterator adapter functions (Challenge 16) #2512

Sign in to view logs

Verify safety of iterator adapter functions (Challenge 16)

Verify safety of iterator adapter functions (Challenge 16) #2512

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
57m 35s
Verify std library using autoharness (macos-latest)
1h 7m 48s
Kani Autoharness Analyzer
48m 36s
Kani Metrics (macos-latest)
1h 8m 22s
Kani Metrics (ubuntu-latest)
57m 38s
Verify std library (partition 2)
29m 34s
Verify std library (partition 4)
50m 29s
Verify std library (partition 4)
37m 39s
Verify std library (partition 1)
43m 51s
Verify std library (partition 1)
38m 17s
Verify std library (partition 2)
37m 17s
Verify std library using autoharness (ubuntu-latest)
1h 15m 54s
Verify std library (partition 3)
25m 48s
Verify std library (partition 3)
30m 38s
Build JSON from logs (macos-latest)
15s
Build JSON from logs (ubuntu-latest)
10s
11h 9m 51s