Claude Code

Incorrect boogie generation for equality in pure functions #6

Sign in to view logs

Triggered via issue February 2, 2026 18:41

claude[bot]

commented on #462 1997f05

Status Skipped

Total duration 1s

Artifacts –

claude.yml

on: issue_comment