CBMC
|
#include <iosfwd>
#include <string>
Go to the source code of this file.
Functions | |
bool | c_preprocess (const std::string &path, std::ostream &outstream, message_handlert &message_handler) |
bool | c_preprocess (std::istream &instream, std::ostream &outstream, message_handlert &message_handler) |
ANSI-C preprocessing. More... | |
bool | test_c_preprocessor (message_handlert &message_handler) |
bool c_preprocess | ( | const std::string & | path, |
std::ostream & | outstream, | ||
message_handlert & | message_handler | ||
) |
Definition at line 200 of file c_preprocess.cpp.
bool c_preprocess | ( | std::istream & | instream, |
std::ostream & | outstream, | ||
message_handlert & | message_handler | ||
) |
ANSI-C preprocessing.
Definition at line 154 of file c_preprocess.cpp.
bool test_c_preprocessor | ( | message_handlert & | message_handler | ) |
Definition at line 751 of file c_preprocess.cpp.