|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include "libm.h"Functions | |
| static float | R (float z) |
| float | acosf (float x) |
Variables | |
| static const float | pio2_hi = 1.5707962513e+00 |
| static const float | pio2_lo = 7.5497894159e-08 |
| static const float | pS0 = 1.6666586697e-01 |
| static const float | pS1 = -4.2743422091e-02 |
| static const float | pS2 = -8.6563630030e-03 |
| static const float | qS1 = -7.0662963390e-01 |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |