Public Attributes

std::size_t number_of_structs = 0

std::size_t number_of_arrays = 0

std::size_t number_of_pointers = 0

std::size_t number_of_globals = 0

An underestimation of the memory usage of the abstract objects.

Detailed Description

std::size_t abstract_object_statisticst::number_of_arrays = 0

std::size_t abstract_object_statisticst::number_of_constants = 0

std::size_t abstract_object_statisticst::number_of_globals = 0

std::size_t abstract_object_statisticst::number_of_interval_abstract_objects = 0

std::size_t abstract_object_statisticst::number_of_pointers = 0

std::size_t abstract_object_statisticst::number_of_single_value_intervals = 0

std::size_t abstract_object_statisticst::number_of_structs = 0

memory_sizet abstract_object_statisticst::objects_memory_usage

An underestimation of the memory usage of the abstract objects.

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

/home/runner/work/cbmc/cbmc/src/analyses/variable-sensitivity/abstract_object_statistics.h