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