12#ifndef CPROVER_GOTO_PROGRAMS_SHOW_GOTO_FUNCTIONS_H
13#define CPROVER_GOTO_PROGRAMS_SHOW_GOTO_FUNCTIONS_H
21#define OPT_SHOW_GOTO_FUNCTIONS \
22 "(show-goto-functions)" \
23 "(list-goto-functions)"
25#define HELP_SHOW_GOTO_FUNCTIONS \
26 " --show-goto-functions show loaded goto program\n" \
27 " --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)