Fix incorrect Boogie generation for equality in pure functions #51
Triggered via pull request
February 3, 2026 05:01
claude[bot]
claude[bot]
submitted
#480
Status
Skipped
Total duration
–
Artifacts
–