cbmc_parse_resultt Struct Reference

#include <read_cbmc_goto_object.h>

Public Attributes
std::vector< cbmc_symbolt >	symbols
std::vector< cbmc_functiont >	functions

Member Data Documentation

functions

std::vector<cbmc_functiont> cbmc_parse_resultt::functions

symbols

std::vector<cbmc_symbolt> cbmc_parse_resultt::symbols

---

The documentation for this struct was generated from the following file:

• src/goto-programs/read_cbmc_goto_object.h