ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
corecrt_math.h File Reference
#include <corecrt.h>
Include dependency graph for corecrt_math.h:

Go to the source code of this file.

Macros

#define _CRT_FUNCTIONS_REQUIRED   0
#define __CRT__NO_INLINE   /* Don't let mingw insert code */
#define _USE_MATH_DEFINES   /* Define <math.h> macros M_LN2, etc. */

Macro Definition Documentation

◆ __CRT__NO_INLINE

#define __CRT__NO_INLINE   /* Don't let mingw insert code */

◆ _CRT_FUNCTIONS_REQUIRED

#define _CRT_FUNCTIONS_REQUIRED   0

◆ _USE_MATH_DEFINES

#define _USE_MATH_DEFINES   /* Define <math.h> macros M_LN2, etc. */