ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
c_misc.cpp File Reference
#include <cstdio>
#include <util/lang/c_misc.h>
Include dependency graph for c_misc.cpp:

Functions

void MetaChar (std::string &out, char c, bool inString)
void MetaString (std::string &out, const std::string &in)

Function Documentation

◆ MetaChar()

void MetaChar ( std::string & out,
char c,
bool inString )

◆ MetaString()

void MetaString ( std::string & out,
const std::string & in )