|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <cmath_lowering_policy.h>
Public Attributes | |
| size_t | max_node_count = 32 |
| size_t | max_depth = 6 |
| size_t | max_call_count = 2 |
| size_t | max_binop_count = 8 |
| size_t cmath_lowering_policy::budget::max_binop_count = 8 |
| size_t cmath_lowering_policy::budget::max_call_count = 2 |
| size_t cmath_lowering_policy::budget::max_depth = 6 |
| size_t cmath_lowering_policy::budget::max_node_count = 32 |