CBMC
preprocessor_line.h File Reference

ANSI-C Language Conversion. More...

+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

void preprocessor_line (const char *text, parsert &parser)
 

Detailed Description

ANSI-C Language Conversion.

Definition in file preprocessor_line.h.

Function Documentation

◆ preprocessor_line()

void preprocessor_line ( const char *  text,
parsert parser 
)

Definition at line 21 of file preprocessor_line.cpp.