CBMC
Loading...
Searching...
No Matches
constexpr.def File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define CBMC_CONSTEXPR

Macro Definition Documentation

◆ CBMC_CONSTEXPR

#define CBMC_CONSTEXPR

Definition at line 4 of file constexpr.def.