cprover
|
Read Goto Programs. More...
Go to the source code of this file.
Functions | |
void | link_goto_model (goto_modelt &dest, goto_modelt &src, message_handlert &) |
Read Goto Programs.
Definition in file link_goto_model.h.
void link_goto_model | ( | goto_modelt & | dest, |
goto_modelt & | src, | ||
message_handlert & | |||
) |
Definition at line 156 of file link_goto_model.cpp.
References goto_modelt::goto_functions, link_functions(), linking(), message_handler, goto_modelt::symbol_table, and symbol_table_baset::symbols.
Referenced by read_object_and_link().