Fix incorrect Boogie generation for equality in pure functions #12
Triggered via issue
February 2, 2026 19:18
andreistefanescu
Status
Failure
Total duration
15m 3s
Artifacts
–
Annotations
2 errors
|
claude
The job was not acquired by Runner of type hosted even after multiple attempts
|
|
Claude Code
Internal server error. Correlation ID: 485b76f3-4524-4116-b929-62ba0123c60d
|