CBMC
|
C Language Conversion. More...
#include "convert_character_literal.h"
#include <climits>
#include <util/arith_tools.h>
#include <util/c_types.h>
#include "unescape_string.h"
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.cpp.
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.