|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include "libm.h"Functions | |
| int | __rem_pio2_large (double *x, double *y, int e0, int nx, int prec) |
Variables | |
| static const int | init_jk [] = {3,4,4,6} |
| static const int32_t | ipio2 [] |
| static const double | PIo2 [] |
|
static |
|
static |
|
static |