ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
corecrt_math.h
Go to the documentation of this file.
1
2/* This override the corresponding Windows "ucrt" header */
3
4#include <corecrt.h>
5
6/* do not provide inline definitions of functions that we model separately */
7#pragma push_macro("_CRT_FUNCTIONS_REQUIRED")
8#undef _CRT_FUNCTIONS_REQUIRED
9#define _CRT_FUNCTIONS_REQUIRED 0
10
11#undef __CRT__NO_INLINE
12#define __CRT__NO_INLINE /* Don't let mingw insert code */
13
14#undef _USE_MATH_DEFINES
15#define _USE_MATH_DEFINES /* Define <math.h> macros M_LN2, etc. */
16
17#include_next <corecrt_math.h>
18
19#pragma pop_macro("_CRT_FUNCTIONS_REQUIRED")