Claude Code

Fix incorrect Boogie generation for equality in pure functions #27

Sign in to view logs

Triggered via issue February 3, 2026 03:41

claude[bot]

commented on #480 2eb2d40

Status Skipped

Total duration 1s

Artifacts –

claude.yml

on: issue_comment