ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
stddefs.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define __ESBMC_C_CPP_BEGIN
#define __ESBMC_C_CPP_END
#define __ESBMC_restrict   restrict

Macro Definition Documentation

◆ __ESBMC_C_CPP_BEGIN

#define __ESBMC_C_CPP_BEGIN

◆ __ESBMC_C_CPP_END

#define __ESBMC_C_CPP_END

◆ __ESBMC_restrict

#define __ESBMC_restrict   restrict