Skip to content
Verify bitwise operations in Dafny

Adapt to use the new integer type and to pass stricter overflow checks #1331

Sign in to view logs

Adapt to use the new integer type and to pass stricter overflow checks

Adapt to use the new integer type and to pass stricter overflow checks #1331

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify
36s
36s