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