Fix incorrect Boogie generation for equality in pure functions #28
Triggered via issue
February 3, 2026 03:50
andreistefanescu
Status
Success
Total duration
3m 1s
Artifacts
–