Skip to content
Kani

Verify safety of str iter functions (Challenge 22) #2399

Sign in to view logs

Verify safety of str iter functions (Challenge 22)

Verify safety of str iter functions (Challenge 22) #2399

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani Autoharness Analyzer
42m 49s
Verify std library using autoharness (macos-latest)
1h 8m 3s
Verify std library using autoharness (ubuntu-latest)
1h 11m 38s
Kani List
1h 0m 9s
Verify std library (partition 1)
36m 59s
Kani Metrics (macos-latest)
1h 26m 50s
Verify std library (partition 4)
57m 14s
Verify std library (partition 2)
34m 50s
Kani Metrics (ubuntu-latest)
59m 6s
Verify std library (partition 3)
27m 44s
Verify std library (partition 4)
45m 53s
Verify std library (partition 1)
49m 6s
Verify std library (partition 3)
32m 1s
Verify std library (partition 2)
40m 12s
Build JSON from logs (ubuntu-latest)
12s
Build JSON from logs (macos-latest)
18s
11h 53m 4s