# HOW TO EDIT THIS FILE:
# The "handy ruler" below makes it easier to edit a package description.
# Line up the first '|' above the ':' following the base package name, and
# the '|' on the right side marks the last column you can put a character in.
# You must make exactly 11 lines for the formatting to be correct.  It's also
# customary to leave one space after the ':' except on otherwise blank lines.

    |-----handy-ruler------------------------------------------------------|
cbmc: cbmc (C Bounded Model Checker)
cbmc:
cbmc: CBMC is a Bounded Model Checker for C and C++ programs. It supports
cbmc: C89, C99, most of C11/C17 and most compiler extensions provided by
cbmc: gcc and clang.
cbmc:
cbmc: CBMC verifies memory safety (which includes array bounds checks and
cbmc: checks for the safe use of pointers), checks for exceptions, various
cbmc: variants of undefined behavior, and user-specified assertions.
cbmc:
cbmc: Compiled with native SAT solver Cadical.