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 171 of file link_goto_model.cpp.