CBMC
|
ANSI-C Language Conversion. More...
Go to the source code of this file.
Functions | |
void | preprocessor_line (const char *text, parsert &parser) |
ANSI-C Language Conversion.
Definition in file preprocessor_line.h.
void preprocessor_line | ( | const char * | text, |
parsert & | parser | ||
) |
Definition at line 21 of file preprocessor_line.cpp.