cbmc_functiont Struct Reference

#include <read_cbmc_goto_object.h>

Public Attributes
std::string	name
std::vector< cbmc_instructiont >	instructions

Member Data Documentation

instructions

std::vector<cbmc_instructiont> cbmc_functiont::instructions

name

std::string cbmc_functiont::name

---

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

• src/goto-programs/read_cbmc_goto_object.h