This graph shows which files directly or indirectly include this file:

Macros
#define	COMMON_HARNESS_GENERATOR_MIN_NULL_TREE_DEPTH_OPT "min-null-tree-depth"

#define	COMMON_HARNESS_GENERATOR_MAX_NONDET_TREE_DEPTH_OPT "max-nondet-tree-depth"

#define	COMMON_HARNESS_GENERATOR_MIN_ARRAY_SIZE_OPT "min-array-size"

#define	COMMON_HARNESS_GENERATOR_MAX_ARRAY_SIZE_OPT "max-array-size"

#define	COMMON_HARNESS_GENERATOR_FUNCTION_POINTER_CAN_BE_NULL_OPT "function-pointer-can-be-null"

#define	COMMON_HARNESS_GENERATOR_HAVOC_MEMBER_OPT "havoc-member"

#define	COMMON_HARNESS_GENERATOR_OPTIONS

#define	COMMON_HARNESS_GENERATOR_HELP

Macro Definition Documentation

◆ COMMON_HARNESS_GENERATOR_FUNCTION_POINTER_CAN_BE_NULL_OPT

#define COMMON_HARNESS_GENERATOR_FUNCTION_POINTER_CAN_BE_NULL_OPT "function-pointer-can-be-null"

Definition at line 17 of file common_harness_generator_options.h.

◆ COMMON_HARNESS_GENERATOR_HAVOC_MEMBER_OPT

#define COMMON_HARNESS_GENERATOR_HAVOC_MEMBER_OPT "havoc-member"

Definition at line 19 of file common_harness_generator_options.h.

◆ COMMON_HARNESS_GENERATOR_HELP

#define COMMON_HARNESS_GENERATOR_HELP

Value:

  "--" COMMON_HARNESS_GENERATOR_MIN_NULL_TREE_DEPTH_OPT                        \
  " N       minimum level at which a pointer can first be NULL\n"              \
  "                              in a recursively nondet initialized struct\n" \
  "--" COMMON_HARNESS_GENERATOR_MAX_NONDET_TREE_DEPTH_OPT                      \
  " N     limit size of nondet (e.g. input) object tree;\n"                    \
  "                              at level N pointers are set to null\n"        \
  "--" COMMON_HARNESS_GENERATOR_MIN_ARRAY_SIZE_OPT                             \
  " N            minimum size of dynamically created arrays\n"                 \
  "                              (default: 1)\n"                               \
  "--" COMMON_HARNESS_GENERATOR_MAX_ARRAY_SIZE_OPT                             \
  " N            maximum size of dynamically created arrays\n"                 \
  "                              (default: 2)\n"                               \
  "--" COMMON_HARNESS_GENERATOR_FUNCTION_POINTER_CAN_BE_NULL_OPT               \
  " <function-name>,  name of the function(s) pointer parameters\n"            \
  "              that can be NULL pointing.\n"                                 \
  "--" COMMON_HARNESS_GENERATOR_HAVOC_MEMBER_OPT                               \
  " <member-expr>  path to the member to be havoced\n"                         \

Definition at line 34 of file common_harness_generator_options.h.

◆ COMMON_HARNESS_GENERATOR_MAX_ARRAY_SIZE_OPT

#define COMMON_HARNESS_GENERATOR_MAX_ARRAY_SIZE_OPT "max-array-size"

Definition at line 16 of file common_harness_generator_options.h.

◆ COMMON_HARNESS_GENERATOR_MAX_NONDET_TREE_DEPTH_OPT

#define COMMON_HARNESS_GENERATOR_MAX_NONDET_TREE_DEPTH_OPT "max-nondet-tree-depth"

Definition at line 13 of file common_harness_generator_options.h.

◆ COMMON_HARNESS_GENERATOR_MIN_ARRAY_SIZE_OPT

#define COMMON_HARNESS_GENERATOR_MIN_ARRAY_SIZE_OPT "min-array-size"

Definition at line 15 of file common_harness_generator_options.h.

◆ COMMON_HARNESS_GENERATOR_MIN_NULL_TREE_DEPTH_OPT

#define COMMON_HARNESS_GENERATOR_MIN_NULL_TREE_DEPTH_OPT "min-null-tree-depth"

Definition at line 12 of file common_harness_generator_options.h.

◆ COMMON_HARNESS_GENERATOR_OPTIONS

#define COMMON_HARNESS_GENERATOR_OPTIONS