|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include "libm.h"Functions | |
| float | __k_sindf (double x) |
Variables | |
| static const double | S1 = -0x15555554cbac77.0p-55 |
| static const double | S2 = 0x111110896efbb2.0p-59 |
| static const double | S3 = -0x1a00f9e2cae774.0p-65 |
| static const double | S4 = 0x16cd878c3b46a7.0p-71 |
| float __k_sindf | ( | double | x | ) |
|
static |
|
static |
|
static |
|
static |