Skip to content
Kani

Verify CStr CloneToUninit and Index<RangeFrom> safety (Challenge 13) #2526

Sign in to view logs

Verify CStr CloneToUninit and Index<RangeFrom> safety (Challenge 13)

Verify CStr CloneToUninit and Index<RangeFrom> safety (Challenge 13) #2526

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani Autoharness Analyzer
44m 40s
Kani Metrics (macos-latest)
1h 9m 7s
Kani List
59m 51s
Verify std library using autoharness (ubuntu-latest)
1h 7m 58s
Verify std library (partition 3)
27m 10s
Verify std library (partition 3)
22m 28s
Kani Metrics (ubuntu-latest)
1h 3m 10s
Verify std library (partition 4)
35m 3s
Verify std library using autoharness (macos-latest)
1h 1m 11s
Verify std library (partition 1)
37m 3s
Verify std library (partition 4)
45m 18s
Verify std library (partition 2)
32m 53s
Verify std library (partition 1)
35m 56s
Verify std library (partition 2)
23m 9s
Build JSON from logs (macos-latest)
11s
Build JSON from logs (ubuntu-latest)
10s
10h 25m 18s