Skip to content
Kani

Harnesses verifying slice types for add, sub and offset #1049

Sign in to view logs

Harnesses verifying slice types for add, sub and offset

Harnesses verifying slice types for add, sub and offset #1049

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
9m 20s
Verify std library (ubuntu-latest)
3h 0m 15s
Verify std library (macos-latest)
2h 38m 58s
5h 48m 33s