Loading...
Searching...
No Matches
Go to the documentation of this file.
9#ifndef CPROVER_GOTO_HARNESS_MEMORY_SNAPSHOT_HARNESS_GENERATOR_OPTIONS_H
10#define CPROVER_GOTO_HARNESS_MEMORY_SNAPSHOT_HARNESS_GENERATOR_OPTIONS_H
14#define MEMORY_SNAPSHOT_HARNESS_SNAPSHOT_OPT "memory-snapshot"
15#define MEMORY_SNAPSHOT_HARNESS_INITIAL_GOTO_LOC_OPT "initial-goto-location"
16#define MEMORY_SNAPSHOT_HARNESS_INITIAL_SOURCE_LOC_OPT "initial-source-location"
17#define MEMORY_SNAPSHOT_HARNESS_HAVOC_VARIABLES_OPT "havoc-variables"
18#define MEMORY_SNAPSHOT_HARNESS_TREAT_POINTER_AS_ARRAY_OPT "pointer-as-array"
19#define MEMORY_SNAPSHOT_HARNESS_ASSOCIATED_ARRAY_SIZE_OPT "size-of-array"
22#define MEMORY_SNAPSHOT_HARNESS_GENERATOR_OPTIONS \
23 "(" MEMORY_SNAPSHOT_HARNESS_SNAPSHOT_OPT "):" \
24 "(" MEMORY_SNAPSHOT_HARNESS_INITIAL_GOTO_LOC_OPT "):" \
25 "(" MEMORY_SNAPSHOT_HARNESS_INITIAL_SOURCE_LOC_OPT "):" \
26 "(" MEMORY_SNAPSHOT_HARNESS_HAVOC_VARIABLES_OPT "):" \
27 "(" MEMORY_SNAPSHOT_HARNESS_TREAT_POINTER_AS_ARRAY_OPT "):" \
28 "(" MEMORY_SNAPSHOT_HARNESS_ASSOCIATED_ARRAY_SIZE_OPT "):" \
34#define MEMORY_SNAPSHOT_HARNESS_GENERATOR_HELP \
35 "memory snapshot harness generator (--harness-type\n" \
36 " initialise-from-memory-snapshot)\n\n" \
37 "--" MEMORY_SNAPSHOT_HARNESS_SNAPSHOT_OPT " <file> initialise memory " \
38 "from JSON memory snapshot\n" \
39 "--" MEMORY_SNAPSHOT_HARNESS_INITIAL_GOTO_LOC_OPT " <func[:<n>]>\n" \
40 " use given function and location number as " \
42 "--" MEMORY_SNAPSHOT_HARNESS_INITIAL_SOURCE_LOC_OPT " <file:<n>>\n" \
43 " use given file name and line number as " \
45 "--" MEMORY_SNAPSHOT_HARNESS_HAVOC_VARIABLES_OPT " vars initialise" \
46 " variables from `vars' to\n" \
47 " non-deterministic values\n" \
48 COMMON_HARNESS_GENERATOR_HELP \
49 "--" MEMORY_SNAPSHOT_HARNESS_TREAT_POINTER_AS_ARRAY_OPT \
50 " p treat the global pointer with the name `p' as\n" \
52 "--" MEMORY_SNAPSHOT_HARNESS_ASSOCIATED_ARRAY_SIZE_OPT \
53 " array_name:size_name\n" \
54 " set the parameter <size_name> to the size" \
55 " of\n the array <array_name>\n" \
57 "-- " MEMORY_SNAPSHOT_HARNESS_TREAT_POINTER_AS_ARRAY_OPT \