Skip to content
Claude Code

Always use Boogie function form for pure callees #14

Sign in to view logs

Always use Boogie function form for pure callees

Always use Boogie function form for pure callees #14

Job log options

This job was skipped