|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include "libm.h"Functions | |
| float | expm1f (float x) |
Variables | |
| static const float | ln2_hi = 6.9313812256e-01 |
| static const float | ln2_lo = 9.0580006145e-06 |
| static const float | invln2 = 1.4426950216e+00 |
| static const float | Q1 = -3.3333212137e-2 |
| static const float | Q2 = 1.5807170421e-3 |
|
static |
|
static |
|
static |
|
static |
|
static |