ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
c_misc.h File Reference
#include <string>
Include dependency graph for c_misc.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

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 )