Skip to content
Kani

Add contracts for SmallSort #1212

Sign in to view logs

Add contracts for SmallSort

Add contracts for SmallSort #1212

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
3m 50s
Verify std library (partition 1)
3m 47s
Verify std library (partition 2)
3m 47s
Verify std library (partition 3)
3m 48s
Verify std library (partition 4)
3m 51s
Verify std library (partition 1)
3m 39s
Verify std library (partition 2)
3m 37s
Verify std library (partition 3)
4m 8s
Verify std library (partition 4)
3m 46s
34m 13s