CBMC
|
C++ Language Conversion. More...
Go to the source code of this file.
Functions | |
exprt | convert_character_literal (const std::string &src, bool force_integer_type, const source_locationt &source_location) |
C++ Language Conversion.
Definition in file convert_character_literal.h.
exprt convert_character_literal | ( | const std::string & | src, |
bool | force_integer_type, | ||
const source_locationt & | source_location | ||
) |
Definition at line 21 of file convert_character_literal.cpp.