cprover
|
Public Attributes | |
std::size_t | refinement_bound =0 |
bool | use_counter_example =true |
Definition at line 65 of file string_refinement.h.
std::size_t string_refinementt::configt::refinement_bound =0 |
Definition at line 67 of file string_refinement.h.
bool string_refinementt::configt::use_counter_example =true |
Definition at line 68 of file string_refinement.h.