Skip to content
Kani

Add contracts for SmallSort #1211

Sign in to view logs

Add contracts for SmallSort

Add contracts for SmallSort #1211

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
7m 19s
Verify std library (partition 1)
6m 13s
Verify std library (partition 2)
4m 41s
Verify std library (partition 3)
5m 59s
Verify std library (partition 4)
5m 55s
Verify std library (partition 1)
4m 55s
Verify std library (partition 2)
4m 35s
Verify std library (partition 3)
4m 30s
Verify std library (partition 4)
4m 34s
48m 41s