Skip to content
Kani

Add contracts for SmallSort #1181

Sign in to view logs

Add contracts for SmallSort

Add contracts for SmallSort #1181

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
4m 0s
Verify std library (partition 1)
4m 7s
Verify std library (partition 2)
4m 1s
Verify std library (partition 3)
4m 13s
Verify std library (partition 4)
4m 19s
Verify std library (partition 1)
3m 51s
Verify std library (partition 2)
3m 45s
Verify std library (partition 3)
3m 41s
Verify std library (partition 4)
4m 13s
36m 10s