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

Macros

#define USE_SPRINTF

Functions

std::string i2string (int i)
std::string i2string (signed long int i)
std::string i2string (unsigned i)
std::string i2string (unsigned long int i)

Macro Definition Documentation

◆ USE_SPRINTF

#define USE_SPRINTF

Function Documentation

◆ i2string() [1/4]

std::string i2string ( int i)

◆ i2string() [2/4]

std::string i2string ( signed long int i)

◆ i2string() [3/4]

std::string i2string ( unsigned i)

◆ i2string() [4/4]

std::string i2string ( unsigned long int i)