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