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