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