z3dk::MemoryRange Struct Reference

Public Attributes
uint32_t	start = 0
uint32_t	end = 0
std::string	reason

Detailed Description

Definition at line 78 of file z3dk_wrapper.cc.

Member Data Documentation

start

uint32_t z3dk::MemoryRange::start = 0

Definition at line 79 of file z3dk_wrapper.cc.

end

uint32_t z3dk::MemoryRange::end = 0

Definition at line 80 of file z3dk_wrapper.cc.

reason

std::string z3dk::MemoryRange::reason

Definition at line 81 of file z3dk_wrapper.cc.

---

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

• src/core/z3dk_wrapper.cc