Skip to content
Kani

Challenge 24: Verify safety of Vec IntoIter functions #2485

Sign in to view logs

Challenge 24: Verify safety of Vec IntoIter functions

Challenge 24: Verify safety of Vec IntoIter functions #2485

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
59m 54s
Verify std library using autoharness (macos-latest)
1h 1m 15s
Verify std library using autoharness (ubuntu-latest)
1h 18m 29s
Kani Metrics (macos-latest)
1h 31m 16s
Kani Metrics (ubuntu-latest)
58m 39s
Kani Autoharness Analyzer
41m 46s
Verify std library (partition 1)
38m 32s
Verify std library (partition 2)
38m 4s
Verify std library (partition 2)
28m 22s
Verify std library (partition 1)
35m 30s
Verify std library (partition 3)
27m 33s
Verify std library (partition 4)
43m 14s
Verify std library (partition 3)
26m 40s
Verify std library (partition 4)
52m 10s
Build JSON from logs (macos-latest)
15s
Build JSON from logs (ubuntu-latest)
8s
11h 21m 47s