CBMC
Public Attributes | List of all members
string_refinementt::configt Struct Reference
+ Inheritance diagram for string_refinementt::configt:

Public Attributes

std::size_t refinement_bound = 0
 
bool use_counter_example = true
 

Detailed Description

Definition at line 66 of file string_refinement.h.

Member Data Documentation

◆ refinement_bound

std::size_t string_refinementt::configt::refinement_bound = 0

Definition at line 68 of file string_refinement.h.

◆ use_counter_example

bool string_refinementt::configt::use_counter_example = true

Definition at line 69 of file string_refinement.h.

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