Here is a list of all namespace enum values with links to the namespace documentation for each enum value:

- _ -

• __ESBMC_terminate_reason_exception_spec : __ESBMC_exception_detail
• __ESBMC_terminate_reason_generic : __ESBMC_exception_detail
• __ESBMC_terminate_reason_no_active : __ESBMC_exception_detail
• __ESBMC_terminate_reason_noexcept : __ESBMC_exception_detail
• __ESBMC_terminate_reason_uncaught : __ESBMC_exception_detail