|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <stdint.h>Go to the source code of this file.
Classes | |
| struct | exp2f_data |
Macros | |
| #define | EXP2F_TABLE_BITS 5 |
| #define | EXP2F_POLY_ORDER 3 |
Variables | |
| const struct exp2f_data | __exp2f_data |
| #define EXP2F_POLY_ORDER 3 |
| #define EXP2F_TABLE_BITS 5 |
| const struct exp2f_data __exp2f_data |