cprover
|
Show program locations. More...
Go to the source code of this file.
Functions | |
void | show_locations (ui_message_handlert::uit ui, const goto_functionst &goto_functions) |
Show program locations.
Definition in file show_locations.h.
void show_locations | ( | ui_message_handlert::uit | ui, |
const goto_functionst & | goto_functions | ||
) |
Definition at line 65 of file show_locations.cpp.
References goto_functions_templatet< bodyT >::function_map, and show_locations().