Skip to content
Kani

Add safety preconditions to core/src/iter/range.rs #1618

Sign in to view logs

Add safety preconditions to core/src/iter/range.rs

Add safety preconditions to core/src/iter/range.rs #1618

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
25m 15s
Verify std library (partition 1)
52m 26s
Verify std library (partition 1)
38m 53s
Verify std library (partition 3)
1h 31m 54s
Verify std library (partition 2)
56m 15s
Verify std library (partition 2)
1h 21m 5s
Verify std library (partition 3)
1h 11m 21s
Verify std library (partition 4)
1h 28m 32s
Verify std library (partition 4)
1h 49m 18s
10h 14m 59s