diffblue/cbmc

C Bounded Model Checker

Latest release cbmc-6.11.0 · 21 Aug 2026

These files are diffblue/cbmc's own configuration. They tell Codex and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.