Skip to content
Kani

Add contracts for SmallSort #1207

Sign in to view logs

Add contracts for SmallSort

Add contracts for SmallSort #1207

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
4m 10s
Verify std library (partition 1)
4m 33s
Verify std library (partition 2)
4m 17s
Verify std library (partition 3)
4m 14s
Verify std library (partition 4)
3m 59s
Verify std library (partition 1)
4m 1s
Verify std library (partition 2)
4m 8s
Verify std library (partition 3)
3m 51s
Verify std library (partition 4)
3m 45s
36m 58s