cprover
object_factory_parameters.h File Reference
#include <cstdint>
#include <limits>
#include <util/irep.h>
Include dependency graph for object_factory_parameters.h:
This graph shows which files directly or indirectly include this file:

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
 

Macro Definition Documentation

◆ MAX_NONDET_ARRAY_LENGTH_DEFAULT

#define MAX_NONDET_ARRAY_LENGTH_DEFAULT   5

Definition at line 17 of file object_factory_parameters.h.

Referenced by jbmc_parse_optionst::doit().

◆ MAX_NONDET_STRING_LENGTH

#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().

◆ MAX_NONDET_TREE_DEPTH

#define MAX_NONDET_TREE_DEPTH   5

Definition at line 19 of file object_factory_parameters.h.

Referenced by jbmc_parse_optionst::doit().

◆ MAX_NONNULL_TREE_DEPTH

#define MAX_NONNULL_TREE_DEPTH   0

Definition at line 20 of file object_factory_parameters.h.