Skip to content
Kani

Add safety preconditions to std/src/alloc.rs #1617

Sign in to view logs

Add safety preconditions to std/src/alloc.rs

Add safety preconditions to std/src/alloc.rs #1617

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Verify std library (partition 2)
1h 3m 16s
Verify std library (partition 1)
52m 29s
Verify std library (partition 4)
1h 54m 21s
Verify std library (partition 2)
1h 15m 42s
Kani List
23m 5s
Verify std library (partition 3)
1h 8m 54s
Verify std library (partition 3)
1h 21m 18s
Verify std library (partition 4)
1h 24m 2s
Verify std library (partition 1)
38m 42s
10h 1m 49s