cprover
|
Public Attributes | |
std::size_t | refinement_bound =0 |
bool | trace =false |
Concretize strings after solver is finished. More... | |
bool | use_counter_example =true |
std::size_t | max_string_length |
Definition at line 38 of file string_refinement.h.
std::size_t string_refinementt::configt::max_string_length |
Definition at line 44 of file string_refinement.h.
Referenced by cbmc_solverst::get_string_refinement().
std::size_t string_refinementt::configt::refinement_bound =0 |
Definition at line 40 of file string_refinement.h.
Referenced by cbmc_solverst::get_string_refinement().
bool string_refinementt::configt::trace =false |
Concretize strings after solver is finished.
Definition at line 42 of file string_refinement.h.
Referenced by cbmc_solverst::get_string_refinement().
bool string_refinementt::configt::use_counter_example =true |
Definition at line 43 of file string_refinement.h.
Referenced by string_refinementt::dec_solve().