CBMC
|
#include <c_object_factory_parameters.h>
Public Member Functions | |
c_object_factory_parameterst () | |
c_object_factory_parameterst (const optionst &options) | |
Public Member Functions inherited from object_factory_parameterst | |
object_factory_parameterst () | |
object_factory_parameterst (const optionst &options) | |
virtual | ~object_factory_parameterst ()=default |
void | set (const optionst &) |
Assigns the parameters from given options. More... | |
Additional Inherited Members | |
Public Attributes inherited from object_factory_parameterst | |
size_t | max_nondet_array_length = 5 |
Maximum value for the non-deterministically-chosen length of an array. More... | |
size_t | max_nondet_string_length = MAX_CONCRETE_STRING_SIZE - 1 |
Maximum value for the non-deterministically-chosen length of a string. More... | |
size_t | min_nondet_string_length = 0 |
Minimum value for the non-deterministically-chosen length of a string. More... | |
size_t | max_nondet_tree_depth = 5 |
Maximum depth of pointer chains (that contain recursion) in the nondet generated input objects. More... | |
size_t | min_null_tree_depth = 0 |
To force a certain depth of non-null objects. More... | |
bool | string_printable = false |
Force string content to be ASCII printable characters when set to true. More... | |
std::list< std::string > | string_input_values |
Force one of finitely many explicitly given input strings. More... | |
irep_idt | function_id |
Function id, used as a prefix for identifiers of temporaries. More... | |
Definition at line 14 of file c_object_factory_parameters.h.
|
inline |
Definition at line 16 of file c_object_factory_parameters.h.
|
inlineexplicit |
Definition at line 20 of file c_object_factory_parameters.h.