#include "common_harness_generator_options.h"

Include dependency graph for function_harness_generator_options.h:

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

Macros
#define	FUNCTION_HARNESS_GENERATOR_FUNCTION_OPT "function"

#define	FUNCTION_HARNESS_GENERATOR_NONDET_GLOBALS_OPT "nondet-globals"

#define	FUNCTION_HARNESS_GENERATOR_TREAT_POINTER_AS_ARRAY_OPT "treat-pointer-as-array"

#define	FUNCTION_HARNESS_GENERATOR_TREAT_POINTERS_EQUAL_OPT "treat-pointers-equal"

#define	FUNCTION_HARNESS_GENERATOR_ASSOCIATED_ARRAY_SIZE_OPT "associated-array-size"

#define	FUNCTION_HARNESS_GENERATOR_TREAT_POINTER_AS_CSTRING "treat-pointer-as-cstring"

#define	FUNCTION_HARNESS_GENERATOR_TREAT_POINTERS_EQUAL_MAYBE_OPT "treat-pointers-equal-maybe"

#define	FUNCTION_HARNESS_GENERATOR_OPTIONS

#define	FUNCTION_HARNESS_GENERATOR_HELP

Macro Definition Documentation

◆ FUNCTION_HARNESS_GENERATOR_ASSOCIATED_ARRAY_SIZE_OPT

#define FUNCTION_HARNESS_GENERATOR_ASSOCIATED_ARRAY_SIZE_OPT "associated-array-size"

Definition at line 20 of file function_harness_generator_options.h.

◆ FUNCTION_HARNESS_GENERATOR_FUNCTION_OPT

#define FUNCTION_HARNESS_GENERATOR_FUNCTION_OPT "function"

Definition at line 14 of file function_harness_generator_options.h.

◆ FUNCTION_HARNESS_GENERATOR_HELP

#define FUNCTION_HARNESS_GENERATOR_HELP

Definition at line 42 of file function_harness_generator_options.h.

◆ FUNCTION_HARNESS_GENERATOR_NONDET_GLOBALS_OPT

#define FUNCTION_HARNESS_GENERATOR_NONDET_GLOBALS_OPT "nondet-globals"

Definition at line 15 of file function_harness_generator_options.h.

◆ FUNCTION_HARNESS_GENERATOR_OPTIONS

#define FUNCTION_HARNESS_GENERATOR_OPTIONS

Value:

  "(" FUNCTION_HARNESS_GENERATOR_FUNCTION_OPT                                  \
  "):"                                                                         \
  "(" FUNCTION_HARNESS_GENERATOR_NONDET_GLOBALS_OPT                            \
  ")"                                                                          \
  "(" FUNCTION_HARNESS_GENERATOR_TREAT_POINTER_AS_ARRAY_OPT                    \
  "):"                                                                         \
  "(" FUNCTION_HARNESS_GENERATOR_TREAT_POINTERS_EQUAL_OPT                      \
  "):"                                                                         \
  "(" FUNCTION_HARNESS_GENERATOR_ASSOCIATED_ARRAY_SIZE_OPT                     \
  "):"                                                                         \
  "(" FUNCTION_HARNESS_GENERATOR_TREAT_POINTER_AS_CSTRING                      \
  "):"                                                                         \
  "(" FUNCTION_HARNESS_GENERATOR_TREAT_POINTERS_EQUAL_MAYBE_OPT ")"

Definition at line 27 of file function_harness_generator_options.h.

◆ FUNCTION_HARNESS_GENERATOR_TREAT_POINTER_AS_ARRAY_OPT

#define FUNCTION_HARNESS_GENERATOR_TREAT_POINTER_AS_ARRAY_OPT "treat-pointer-as-array"

Definition at line 16 of file function_harness_generator_options.h.

◆ FUNCTION_HARNESS_GENERATOR_TREAT_POINTER_AS_CSTRING

#define FUNCTION_HARNESS_GENERATOR_TREAT_POINTER_AS_CSTRING "treat-pointer-as-cstring"

Definition at line 22 of file function_harness_generator_options.h.

◆ FUNCTION_HARNESS_GENERATOR_TREAT_POINTERS_EQUAL_MAYBE_OPT

#define FUNCTION_HARNESS_GENERATOR_TREAT_POINTERS_EQUAL_MAYBE_OPT "treat-pointers-equal-maybe"

Definition at line 24 of file function_harness_generator_options.h.

◆ FUNCTION_HARNESS_GENERATOR_TREAT_POINTERS_EQUAL_OPT

#define FUNCTION_HARNESS_GENERATOR_TREAT_POINTERS_EQUAL_OPT "treat-pointers-equal"

Definition at line 18 of file function_harness_generator_options.h.

Macros