CBMC
get_goto_model_from_c.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Get goto model
4 
5 Author: Daniel Poetzl
6 
7 \*******************************************************************/
8 
9 #ifndef CPROVER_TESTING_UTILS_GET_GOTO_MODEL_FROM_C_H
10 #define CPROVER_TESTING_UTILS_GET_GOTO_MODEL_FROM_C_H
11 
12 #include <goto-programs/goto_model.h>
13 
14 #include <iosfwd>
15 
20 goto_modelt get_goto_model_from_c(const std::string &code);
21 
26 goto_modelt get_goto_model_from_c(const std::istream &in);
27 
28 #endif /* CPROVER_TESTING_UTILS_GET_GOTO_MODEL_FROM_C_H_ */
goto_modelt
Definition: goto_model.h:27
get_goto_model_from_c
goto_modelt get_goto_model_from_c(const std::string &code)
Convert C program to a goto model.
Definition: get_goto_model_from_c.cpp:85
goto_model.h
Symbol Table + CFG.