configt::bv_encodingt Struct Reference

#include <config.h>

Public Attributes
std::size_t	object_bits = 8
bool	is_object_bits_default = true

Detailed Description

Definition at line 352 of file config.h.

Member Data Documentation

is_object_bits_default

bool configt::bv_encodingt::is_object_bits_default = true

Definition at line 356 of file config.h.

object_bits

std::size_t configt::bv_encodingt::object_bits = 8

Definition at line 355 of file config.h.

---

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

• /home/runner/work/cbmc/cbmc/src/util/config.h