cprover
initialize_goto_model.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Initialize a Goto Program
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_GOTO_PROGRAMS_INITIALIZE_GOTO_MODEL_H
13 #define CPROVER_GOTO_PROGRAMS_INITIALIZE_GOTO_MODEL_H
14 
15 #include <util/message.h>
16 #include <util/cmdline.h>
17 
18 #include "goto_model.h"
19 
21  goto_modelt &goto_model,
22  const cmdlinet &cmdline,
23  message_handlert &message_handler);
24 
25 #endif // CPROVER_GOTO_PROGRAMS_INITIALIZE_GOTO_MODEL_H
Symbol Table + CFG.
bool initialize_goto_model(goto_modelt &goto_model, const cmdlinet &cmdline, message_handlert &message_handler)