/home/runner/work/cbmc/cbmc/doc/architectural/compilation-and-development.md File Reference