Skip to content
Verify bitwise operations in Dafny

Fix doXover on the new semantics #1239

Sign in to view logs

Fix doXover on the new semantics

Fix doXover on the new semantics #1239

Triggered via pull request February 2, 2025 22:56
@jcp19jcp19
synchronize #395
fix-doxover
Status Success
Total duration 26s
Artifacts –

dafny.yml

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