Evaluates the ability to build the CompCert verified C compiler from source with proper configuration for…

Evaluates the ability to build the CompCert verified C compiler from source with proper configuration for…: a task in Terminal-Bench 2.1 (Harbor git-repos dataset) (Harbor dataset). Under /tmp/CompCert/, build the CompCert C verified compiler (version 3.13.1) from source, configuring it to the…