cprover
|
C Language Conversion. More...
#include "convert_character_literal.h"
#include <cassert>
#include <util/arith_tools.h>
#include <util/c_types.h>
#include <util/std_expr.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) |
C Language Conversion.
Definition in file convert_character_literal.cpp.
exprt convert_character_literal | ( | const std::string & | src, |
bool | force_integer_type | ||
) |
Definition at line 22 of file convert_character_literal.cpp.