ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
c_misc.h
Go to the documentation of this file.
1#ifndef CPROVER_C_MISC_H
2#define CPROVER_C_MISC_H
3
4#include <string>
5
6void MetaChar(std::string &out, char c, bool inString);
7void MetaString(std::string &out, const std::string &in);
8
9#endif
MetaString
void MetaString(std::string &out, const std::string &in)
Definition c_misc.cpp:73
MetaChar
void MetaChar(std::string &out, char c, bool inString)
Definition c_misc.cpp:4