Description
Checks ANSI C programs with the development version of CBMC bounded model checking. It is useful for developers and researchers who need recent verifier changes or fixes.
This Git package can change behavior more often than stable releases. Re-check important results after updates and keep verification settings under version control when reproducibility matters.