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

#include <ld_ast.h>

Public Attributes

std::string pin
std::string source
bool connected = false

Member Data Documentation

◆ connected

bool FBInWire::connected = false

◆ pin

std::string FBInWire::pin

◆ source

std::string FBInWire::source

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