cprover
|
Initialize a Goto Program. More...
Go to the source code of this file.
Functions | |
bool | initialize_goto_model (goto_modelt &goto_model, const cmdlinet &cmdline, message_handlert &message_handler) |
Initialize a Goto Program.
Definition in file initialize_goto_model.h.
bool initialize_goto_model | ( | goto_modelt & | goto_model, |
const cmdlinet & | cmdline, | ||
message_handlert & | message_handler | ||
) |
Definition at line 27 of file initialize_goto_model.cpp.
References cmdlinet::args, config, messaget::eom(), messaget::error(), language_filest::file_map, language_filet::filename, language_filest::final(), get_language_from_filename(), languaget::get_language_options(), language_filet::get_modules(), goto_convert(), goto_modelt::goto_functions, is_goto_binary(), language_filet::language, languaget::parse(), read_object_and_link(), source_locationt::set_file(), configt::set_from_symbol_table(), messaget::set_message_handler(), messaget::mstreamt::source_location, messaget::status(), goto_modelt::symbol_table, language_filest::typecheck(), and widen().
Referenced by goto_analyzer_parse_optionst::doit(), and symex_parse_optionst::doit().