cprover
|
Go to the source code of this file.
Classes | |
struct | object_factory_parameterst |
Macros | |
#define | MAX_NONDET_ARRAY_LENGTH_DEFAULT 5 |
#define | MAX_NONDET_STRING_LENGTH std::numeric_limits<std::int32_t>::max() |
#define | MAX_NONDET_TREE_DEPTH 5 |
#define | MAX_NONNULL_TREE_DEPTH 0 |
#define MAX_NONDET_ARRAY_LENGTH_DEFAULT 5 |
Definition at line 17 of file object_factory_parameters.h.
Referenced by jbmc_parse_optionst::doit().
#define MAX_NONDET_STRING_LENGTH std::numeric_limits<std::int32_t>::max() |
Definition at line 18 of file object_factory_parameters.h.
Referenced by jbmc_parse_optionst::doit().
#define MAX_NONDET_TREE_DEPTH 5 |
Definition at line 19 of file object_factory_parameters.h.
Referenced by jbmc_parse_optionst::doit().
#define MAX_NONNULL_TREE_DEPTH 0 |
Definition at line 20 of file object_factory_parameters.h.