Claude Code

Fix incorrect Boogie generation for equality in pure functions #26

Sign in to view logs

Triggered via issue February 3, 2026 03:41

andreistefanescu

commented on #480 2eb2d40

Status Success

Total duration 2m 9s

Artifacts –

claude.yml

on: issue_comment