CBMC
c_misc.h File Reference

ANSI-C Misc Utilities. More...

#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

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

Detailed Description

ANSI-C Misc Utilities.

Definition in file c_misc.h.

Function Documentation

◆ MetaString()

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

Definition at line 95 of file c_misc.cpp.