function_harness_generator_options.h File Reference

#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:

Go to the source code of 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.