Skip to content
Kani

Verify safety of slice functions (Challenge 17) #2394

Sign in to view logs

Verify safety of slice functions (Challenge 17)

Verify safety of slice functions (Challenge 17) #2394

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
1h 1m 10s
Kani Autoharness Analyzer
43m 40s
Verify std library using autoharness (ubuntu-latest)
1h 9m 28s
Kani Metrics (macos-latest)
1h 21m 6s
Kani Metrics (ubuntu-latest)
59m 10s
Verify std library using autoharness (macos-latest)
1h 23m 36s
Verify std library (partition 4)
50m 16s
Verify std library (partition 1)
45m 47s
Verify std library (partition 4)
50m 26s
Verify std library (partition 2)
44m 19s
Verify std library (partition 2)
34m 58s
Verify std library (partition 3)
27m 14s
Verify std library (partition 3)
29m 57s
Verify std library (partition 1)
44m 30s
Build JSON from logs (ubuntu-latest)
14s
Build JSON from logs (macos-latest)
13s
12h 6m 4s