Loading...
Searching...
No Matches
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:
Assigns the parameters from given options.
Additional Inherited Members
Maximum value for the non-deterministically-chosen length of an array.
Maximum value for the non-deterministically-chosen length of a string.
Minimum value for the non-deterministically-chosen length of a string.
Maximum depth of pointer chains (that contain recursion) in the nondet generated input objects.
To force a certain depth of non-null objects.
Force string content to be ASCII printable characters when set to true.
Force one of finitely many explicitly given input strings.
Function id, used as a prefix for identifiers of temporaries.
Detailed Description
Constructor & Destructor Documentation
◆ c_object_factory_parameterst() [1/2]
c_object_factory_parameterst::c_object_factory_parameterst
(
)
inline
◆ c_object_factory_parameterst() [2/2]
c_object_factory_parameterst::c_object_factory_parameterst
(
const optionst &
options )
The documentation for this struct was generated from the following file:
