cprover
|
C/C++ Language Conversion. More...
Go to the source code of this file.
Functions | |
exprt | convert_string_literal (const std::string &src) |
C/C++ Language Conversion.
Definition in file convert_string_literal.h.
Definition at line 69 of file convert_string_literal.cpp.