cbmc_instructiont Struct Reference

Intermediate parse of a CBMC instruction (mirrors cbmc.rs CBMCInstruction). More...

#include <read_cbmc_goto_object.h>

Public Attributes
irept	code
irept	source_location
irept	guard
unsigned	instr_type = 0
unsigned	target_number = 0
std::vector< unsigned >	targets
std::vector< std::string >	labels

Detailed Description

Intermediate parse of a CBMC instruction (mirrors cbmc.rs CBMCInstruction).

Targets are kept as the raw CBMC target numbers; the adapter remaps them to ESBMC's instruction-index scheme.

Member Data Documentation

code

irept cbmc_instructiont::code

guard

irept cbmc_instructiont::guard

instr_type

unsigned cbmc_instructiont::instr_type = 0

labels

std::vector<std::string> cbmc_instructiont::labels

source_location

irept cbmc_instructiont::source_location

target_number

unsigned cbmc_instructiont::target_number = 0

targets

std::vector<unsigned> cbmc_instructiont::targets

---

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

• src/goto-programs/read_cbmc_goto_object.h