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")
src
c2goto
headers
corecrt_math.h
Generated by
1.15.0