|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <cmath_lowering_policy.h>
Public Attributes | |
| size_t | node_count = 0 |
| size_t | depth = 0 |
| size_t | call_count = 0 |
| size_t | binop_count = 0 |
| size_t cmath_lowering_policy::expr_cost::binop_count = 0 |
| size_t cmath_lowering_policy::expr_cost::call_count = 0 |
| size_t cmath_lowering_policy::expr_cost::depth = 0 |
| size_t cmath_lowering_policy::expr_cost::node_count = 0 |