ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
LdIR Struct Reference

#include <ld_ir.h>

Public Attributes

std::string source_file
std::vector< VarDecl > variables
std::vector< LdIRRung > rungs
std::vector< UserFBExec > user_fbs

Member Data Documentation

◆ rungs

std::vector<LdIRRung> LdIR::rungs

◆ source_file

std::string LdIR::source_file

◆ user_fbs

std::vector<UserFBExec> LdIR::user_fbs

◆ variables

std::vector<VarDecl> LdIR::variables

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