Skip to content
Kani

Add contracts for SmallSort #1208

Sign in to view logs

Add contracts for SmallSort

Add contracts for SmallSort #1208

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
4m 5s
Verify std library (partition 1)
4m 5s
Verify std library (partition 2)
4m 49s
Verify std library (partition 3)
3m 56s
Verify std library (partition 4)
3m 58s
Verify std library (partition 1)
3m 46s
Verify std library (partition 2)
3m 41s
Verify std library (partition 3)
3m 57s
Verify std library (partition 4)
3m 37s
35m 54s