shadow_memory_statet::shadowed_addresst Struct Reference

#include <shadow_memory_state.h>

Collaboration diagram for shadow_memory_statet::shadowed_addresst:

Public Attributes
exprt	address
symbol_exprt	shadow

Detailed Description

Definition at line 31 of file shadow_memory_state.h.

Member Data Documentation

address

exprt shadow_memory_statet::shadowed_addresst::address

Definition at line 33 of file shadow_memory_state.h.

shadow

symbol_exprt shadow_memory_statet::shadowed_addresst::shadow

Definition at line 34 of file shadow_memory_state.h.

---

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

• /home/runner/work/cbmc/cbmc/src/goto-symex/shadow_memory_state.h