Skip to content
Back to pull request #128

Contracts & Harnesses for len, is_empty, is_aligned, and is_aligned_to #691

Sign in to view logs

Contracts & Harnesses for len, is_empty, is_aligned, and is_aligned_to

Contracts & Harnesses for len, is_empty, is_aligned, and is_aligned_to #691

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Test Kani script (ubuntu-latest)
26m 4s
Verify std library (ubuntu-latest)
1h 1m 59s
Test Kani script (macos-latest)
26m 50s
Verify std library (macos-latest)
52m 27s
2h 47m 20s