CBMC
Loading...
Searching...
No Matches
Classes | Macros
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

 

Macros

 

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.

AltStyle によって変換されたページ (->オリジナル) /