cprover
|
Interpreter for GOTO Programs. More...
Go to the source code of this file.
Functions | |
void | interpreter (const goto_modelt &, message_handlert &) |
Interpreter for GOTO Programs.
Definition in file interpreter.h.
void interpreter | ( | const goto_modelt & | , |
message_handlert & | |||
) |
Definition at line 1088 of file interpreter.cpp.
References goto_modelt::goto_functions, interpreter(), message_handler, and goto_modelt::symbol_table.
Referenced by goto_instrument_parse_optionst::doit(), and interpreter().