CBMC
Public Attributes | List of all members
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 348 of file config.h.

Member Data Documentation

◆ is_object_bits_default

bool configt::bv_encodingt::is_object_bits_default = true

Definition at line 352 of file config.h.

◆ object_bits

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

Definition at line 351 of file config.h.

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