Claude Code

Fix incorrect Boogie generation for equality in pure functions #41

Sign in to view logs

Triggered via pull request February 3, 2026 04:42

cursor[bot]

submitted #480

Status Skipped

Total duration 1s

Artifacts –

claude.yml

on: pull_request_review