#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

Value:

  "function harness generator (--harness-type call-function)\n\n"              \
  "--" FUNCTION_HARNESS_GENERATOR_FUNCTION_OPT                                 \
  "                    the function the harness should call\n"                 \
  "--" FUNCTION_HARNESS_GENERATOR_NONDET_GLOBALS_OPT                           \
  "              set global variables to non-deterministic values\n"           \
  "                              in harness\n"                                 \
  COMMON_HARNESS_GENERATOR_HELP                                                \
  "--" FUNCTION_HARNESS_GENERATOR_TREAT_POINTER_AS_ARRAY_OPT                   \
  " p    treat the function parameter with the name `p' as\n"                  \
  "                              an array\n"                                   \
  "--" FUNCTION_HARNESS_GENERATOR_TREAT_POINTERS_EQUAL_OPT                     \
  " p,q,r[;s,t]    treat the function parameters `q,r' equal\n"                \
  "                              to parameter `p'; `s` to `t` and so on\n"     \
  "--" FUNCTION_HARNESS_GENERATOR_TREAT_POINTERS_EQUAL_MAYBE_OPT               \
  "                function parameters equality is non-deterministic\n"        \
  "--" FUNCTION_HARNESS_GENERATOR_ASSOCIATED_ARRAY_SIZE_OPT                    \
  " array_name:size_name\n"                                                    \
  "                              set the parameter <size_name> to the size"    \
  " of\n                              the array <array_name>\n"                \
  "                              (implies "                                    \
  "-- " FUNCTION_HARNESS_GENERATOR_TREAT_POINTER_AS_ARRAY_OPT                  \
  " <array_name>)\n"                                                           \
  "--" FUNCTION_HARNESS_GENERATOR_TREAT_POINTER_AS_CSTRING                     \
  " p    treat the function parameter with the name `p' as\n"                  \
  "                              a string of characters\n"                     \

Definition at line 41 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 28 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