Under /tmp/CompCert/, build the CompCert C verified compiler (version 3.13.1) from source,

Under /tmp/CompCert/, build the CompCert C verified compiler (version 3.13.1) from source,: a task in terminal-bench-2.0 (Harbor dataset). What the agent is asked, how it is graded, what it runs in, and its files.