|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <numpy_reducer_shared.h>
Public Attributes | |
| bool | is_int = true |
| int64_t | int_value = 0 |
| double | double_value = 0.0 |
| double numeric_value::double_value = 0.0 |
| int64_t numeric_value::int_value = 0 |