/home/runner/work/cbmc/cbmc/doc/architectural/front-page.md File Reference