|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include "libm.h"Functions | |
| float | sinf (float x) |
Variables | |
| static const double | s1pio2 = 1*M_PI_2 |
| static const double | s2pio2 = 2*M_PI_2 |
| static const double | s3pio2 = 3*M_PI_2 |
| static const double | s4pio2 = 4*M_PI_2 |
|
static |
|
static |
|
static |
|
static |