|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include "libm.h"Functions | |
| float | __k_cosdf (double x) |
Variables | |
| static const double | C0 = -0x1ffffffd0c5e81.0p-54 |
| static const double | C1 = 0x155553e1053a42.0p-57 |
| static const double | C2 = -0x16c087e80f1e27.0p-62 |
| static const double | C3 = 0x199342e0ee5069.0p-68 |
| float __k_cosdf | ( | double | x | ) |
|
static |
|
static |
|
static |
|
static |