|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Macros | |
| #define | remquo_def( type, name, isnan_func, isinf_func, llrint_func, remainder_func) |
Functions | |
| remquo_def (float, remquof, isnan, isinf, llrintf, remainderf) | |
| remquo_def (double, remquo, isnan, isinf, llrint, remainder) | |
| remquo_def (long double, remquol, isnan, isinf, llrintl, remainderl) | |
| #define remquo_def | ( | type, | |
| name, | |||
| isnan_func, | |||
| isinf_func, | |||
| llrint_func, | |||
| remainder_func ) |
| remquo_def | ( | double | , |
| remquo | , | ||
| isnan | , | ||
| isinf | , | ||
| llrint | , | ||
| remainder | ) |
| remquo_def | ( | float | , |
| remquof | , | ||
| isnan | , | ||
| isinf | , | ||
| llrintf | , | ||
| remainderf | ) |
| remquo_def | ( | long double | , |
| remquol | , | ||
| isnan | , | ||
| isinf | , | ||
| llrintl | , | ||
| remainderl | ) |