/home/runner/work/cbmc/cbmc/src/goto-instrument/contracts/doc/developer/contracts-dev-spec-obeys-contract.md File Reference