cprover
|
Program Transformation. More...
Go to the source code of this file.
Functions | |
void | goto_convert (const codet &code, symbol_tablet &symbol_table, goto_programt &dest, message_handlert &message_handler) |
void | goto_convert (symbol_tablet &symbol_table, goto_programt &dest, message_handlert &message_handler) |
Program Transformation.
Definition in file goto_convert.h.
void goto_convert | ( | const codet & | code, |
symbol_tablet & | symbol_table, | ||
goto_programt & | dest, | ||
message_handlert & | message_handler | ||
) |
Definition at line 2179 of file goto_convert.cpp.
References messaget::eom(), messaget::error(), message_handlert::get_message_count(), goto_convertt::goto_convert(), and messaget::M_ERROR.
Referenced by goto_diff_parse_optionst::get_goto_program(), clobber_parse_optionst::get_goto_program(), cbmc_parse_optionst::get_goto_program(), initialize_goto_model(), link_to_library(), and model_argc_argv().
void goto_convert | ( | symbol_tablet & | symbol_table, |
goto_programt & | dest, | ||
message_handlert & | message_handler | ||
) |
Definition at line 2214 of file goto_convert.cpp.
References messaget::eom(), messaget::error(), goto_convertt::goto_convert(), symbol_tablet::symbols, to_code(), and symbolt::value.