Skip to content
Back to pull request #202

NonZero (rotate_left, rotate_right, max, min, clamp, count_ones, cmp) Proofs #1040

Sign in to view logs

NonZero (rotate_left, rotate_right, max, min, clamp, count_ones, cmp) Proofs

NonZero (rotate_left, rotate_right, max, min, clamp, count_ones, cmp) Proofs #1040

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
8m 58s
Verify std library (ubuntu-latest)
2h 53m 45s
Verify std library (macos-latest)
2h 34m 23s
5h 37m 6s