CBMC
get_goto_model_from_c.h File Reference
#include <goto-programs/goto_model.h>
#include <iosfwd>
+ Include dependency graph for get_goto_model_from_c.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

goto_modelt get_goto_model_from_c (const std::string &code)
 Convert C program to a goto model. More...
 
goto_modelt get_goto_model_from_c (const std::istream &in)
 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::istream &  in)

Convert C program to a goto model.

Parameters
ininput stream to read a C program from
Returns
goto model

◆ get_goto_model_from_c() [2/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.