ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
cmath_lowering_policy::budget Struct Reference

#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

Member Data Documentation

◆ max_binop_count

size_t cmath_lowering_policy::budget::max_binop_count = 8

◆ max_call_count

size_t cmath_lowering_policy::budget::max_call_count = 2

◆ max_depth

size_t cmath_lowering_policy::budget::max_depth = 6

◆ max_node_count

size_t cmath_lowering_policy::budget::max_node_count = 32

The documentation for this struct was generated from the following file: