cprover
|
Initialize a Goto Program. More...
#include "goto_model.h"
Go to the source code of this file.
Functions | |
goto_modelt | initialize_goto_model (const std::vector< std::string > &files, message_handlert &message_handler, const optionst &options) |
Initialize a Goto Program.
Definition in file initialize_goto_model.h.
goto_modelt initialize_goto_model | ( | const std::vector< std::string > & | files, |
message_handlert & | message_handler, | ||
const optionst & | options | ||
) |
Definition at line 59 of file initialize_goto_model.cpp.