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:

• /home/runner/work/cbmc/cbmc/src/solvers/strings/string_refinement.h