CBMC
|
langapi/
contains the basic interfaces and support classes for programming language front ends. Developers only really need look at this if they are adding support for a new language. It’s main users are the language front-ends such as ansi-c/
and cpp/
.
To be documented.
To be documented.
To be documented.
To be documented.