|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include "libm.h"Functions | |
| static float | R (float z) |
| float | asinf (float x) |
Variables | |
| static const double | pio2 = 1.570796326794896558e+00 |
| 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 |