cbmc_adapted_resultt Struct Reference

Result of adapting a CBMC parse into ESBMC irep conventions. More...

#include <cbmc_adapter.h>

Public Attributes
std::vector< irept >	symbols
std::vector< std::pair< std::string, irept > >	functions

Detailed Description

Result of adapting a CBMC parse into ESBMC irep conventions.

The ireps here are ready to be consumed by symbolt::from_irep (symbols) and the goto_program_irep convert() (functions), exactly as ESBMC's own goto-binary reader feeds them.

Member Data Documentation

functions

std::vector<std::pair<std::string, irept> > cbmc_adapted_resultt::functions

symbols

std::vector<irept> cbmc_adapted_resultt::symbols

---

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

• src/goto-programs/cbmc_adapter.h