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