CBMC
Loading...
Searching...
No Matches
show_locations.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Show program locations
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_GOTO_INSTRUMENT_SHOW_LOCATIONS_H
13#define CPROVER_GOTO_INSTRUMENT_SHOW_LOCATIONS_H
14
15#include <util/ui_message.h>
16
17class goto_modelt;
18
19void show_locations(
20 ui_message_handlert::uit ui,
21 const goto_modelt &);
22
23#endif // CPROVER_GOTO_INSTRUMENT_SHOW_LOCATIONS_H
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562
goto_modelt
Definition goto_model.h:27
ui_message_handlert::uit
uit
Definition ui_message.h:24
show_locations
void show_locations(ui_message_handlert::uit ui, const goto_modelt &)
Definition show_locations.cpp:63
ui_message.h