|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include "libm.h"Functions | |
| float | cosf (float x) |
Variables | |
| static const double | c1pio2 = 1*M_PI_2 |
| static const double | c2pio2 = 2*M_PI_2 |
| static const double | c3pio2 = 3*M_PI_2 |
| static const double | c4pio2 = 4*M_PI_2 |
|
static |
|
static |
|
static |
|
static |