12 #ifndef CPROVER_GOTO_PROGRAMS_SHOW_GOTO_FUNCTIONS_H
13 #define CPROVER_GOTO_PROGRAMS_SHOW_GOTO_FUNCTIONS_H
22 #define OPT_SHOW_GOTO_FUNCTIONS \
23 "(show-goto-functions)" \
24 "(list-goto-functions)"
26 #define HELP_SHOW_GOTO_FUNCTIONS \
27 " --show-goto-functions show loaded goto program\n" \
28 " --list-goto-functions list loaded goto functions\n"
A collection of goto functions.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
void show_goto_functions(const namespacet &ns, ui_message_handlert &ui_message_handler, const goto_functionst &goto_functions, bool list_only)