|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include "libm.h"Macros | |
| #define | EPS DBL_EPSILON |
Functions | |
| int | __rem_pio2f (float x, double *y) |
Variables | |
| static const double | toint = 1.5/EPS |
| static const double | pio4 = 0x1.921fb6p-1 |
| static const double | invpio2 = 6.36619772367581382433e-01 |
| static const double | pio2_1 = 1.57079631090164184570e+00 |
| static const double | pio2_1t = 1.58932547735281966916e-08 |
| #define EPS DBL_EPSILON |
|
static |
|
static |
|
static |
|
static |
|
static |