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