The efficient SMT-based context-bounded model checker (ESBMC)
Latest release v8.5 — ESBMC v8.5 · 30 Aug 2026
These files are esbmc/esbmc's own configuration. They tell GitHub Copilot, Codex, OpenCode and Claude Code 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.
.github/copilot-instructions.md A 614 tok AGENTS.md A 4 tok CLAUDE.md C 6,597 tok .claude/settings.json A — .claude/settings.json A —