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

Triggered via pull request September 28, 2025 12:22
@jcp19jcp19
synchronize #407
fix-overflow-checks
Status Success
Total duration 40s
Artifacts –

dafny.yml

on: pull_request
verify
36s
verify
Fit to window
Zoom out
Zoom in