CBMC
memory_analyzer_parse_options.h File Reference

This code does the command line parsing for the memory-analyzer tool. More...

#include <util/message.h>
#include <util/parse_options.h>
+ Include dependency graph for memory_analyzer_parse_options.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  memory_analyzer_parse_optionst
 

Macros

#define MEMORY_ANALYZER_OPTIONS
 

Detailed Description

This code does the command line parsing for the memory-analyzer tool.

Definition in file memory_analyzer_parse_options.h.

Macro Definition Documentation

◆ MEMORY_ANALYZER_OPTIONS

#define MEMORY_ANALYZER_OPTIONS
Value:
"(version)" \
"(json-ui)" \
"(core-file):" \
"(breakpoint):" \
"(symbols):" \
"(symtab-snapshot)" \
"(output-file):"

Definition at line 20 of file memory_analyzer_parse_options.h.