c_object_factory_parameterst Struct Referencefinal
#include <c_object_factory_parameters.h>
Inheritance diagram for c_object_factory_parameterst: Collaboration diagram for c_object_factory_parameterst: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... | |
Detailed Description
Definition at line 14 of file c_object_factory_parameters.h.
Constructor & Destructor Documentation
◆ c_object_factory_parameterst() [1/2]
|
inline |
Definition at line 16 of file c_object_factory_parameters.h.
◆ c_object_factory_parameterst() [2/2]
|
inlineexplicit |
Definition at line 20 of file c_object_factory_parameters.h.
The documentation for this struct was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/ansi-c/c_object_factory_parameters.h
