Fix incorrect Boogie generation for equality in pure functions #43
Triggered via pull request
February 3, 2026 04:44
andreistefanescu
andreistefanescu
submitted
#480
Status
Skipped
Total duration
1s
Artifacts
–