Always use Boogie function form for pure callees #13
Triggered via pull request
February 2, 2026 19:44
cursor[bot]
cursor[bot]
submitted
#476
Status
Skipped
Total duration
1s
Artifacts
–