Skip to content
Kani

VeriFast solution for Challenge 5 (linked_list.rs) #1262

Sign in to view logs

VeriFast solution for Challenge 5 (linked_list.rs)

VeriFast solution for Challenge 5 (linked_list.rs) #1262

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
10m 26s
Verify std library (partition 1)
39m 27s
Verify std library (partition 2)
29m 3s
Verify std library (partition 3)
25m 59s
Verify std library (partition 4)
34m 59s
Verify std library (partition 1)
43m 37s
Verify std library (partition 2)
28m 35s
Verify std library (partition 3)
30m 9s
Verify std library (partition 4)
34m 13s
4h 36m 28s