CBMC
Loading...
Searching...
No Matches
constexpr.def
Go to the documentation of this file.
1#if defined(__GNUC__) || defined(__clang__)
2#define CBMC_CONSTEXPR constexpr
3#else
4#define CBMC_CONSTEXPR
5#endif
6