CBMC
c_misc.cpp File Reference

ANSI-C Misc Utilities. More...

#include "c_misc.h"
#include <sstream>
+ Include dependency graph for c_misc.cpp:

Go to the source code of this file.

Functions

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

Detailed Description

ANSI-C Misc Utilities.

Definition in file c_misc.cpp.

Function Documentation

◆ MetaChar()

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

Definition at line 16 of file c_misc.cpp.

◆ MetaString()

std::string MetaString ( const std::string &  in)

Definition at line 95 of file c_misc.cpp.