CBMC
get_goto_model_from_c.cpp File Reference
+ Include dependency graph for get_goto_model_from_c.cpp:

Go to the source code of this file.

Functions

goto_modelt get_goto_model_from_c (std::istream &in)
 
goto_modelt get_goto_model_from_c (const std::string &code)
 Convert C program to a goto model. More...
 

Function Documentation

◆ get_goto_model_from_c() [1/2]

goto_modelt get_goto_model_from_c ( const std::string &  code)

Convert C program to a goto model.

Parameters
codestring giving the C program
Returns
goto model

Definition at line 85 of file get_goto_model_from_c.cpp.

◆ get_goto_model_from_c() [2/2]

goto_modelt get_goto_model_from_c ( std::istream &  in)

Definition at line 24 of file get_goto_model_from_c.cpp.