ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
string_constant.cpp File Reference
#include <util/arith/arith_tools.h>
#include <util/arith/bitvector.h>
#include <util/config/config.h>
#include <util/lang/c_types.h>
#include <util/message/message.h>
#include <util/irep/std_expr.h>
#include <util/irep/std_types.h>
#include <util/expr/string_constant.h>
#include <cuchar>
#include <cwchar>
Include dependency graph for string_constant.cpp:

Functions

static std::string convert_utf8 (const std::string &v)

Function Documentation

◆ convert_utf8()

std::string convert_utf8 ( const std::string & v)
static