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

#include <dereference.h>

Public Attributes

expr2tc object
expr2tc offset
expr2tc guard

Member Data Documentation

◆ guard

expr2tc dereference_callbackt::internal_item::guard

◆ object

expr2tc dereference_callbackt::internal_item::object

◆ offset

expr2tc dereference_callbackt::internal_item::offset

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