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

Public Attributes

__SIZE_TYPE__ typeid_value
void * object
bool valid

Member Data Documentation

◆ object

void* __ESBMC_exception_detail::__ESBMC_exception_slot::object

◆ typeid_value

__SIZE_TYPE__ __ESBMC_exception_detail::__ESBMC_exception_slot::typeid_value

◆ valid

bool __ESBMC_exception_detail::__ESBMC_exception_slot::valid
The documentation for this struct was generated from the following file: