svmp::PlatformCapabilities Struct Reference

Public Attributes
bool	has_stack_trace
bool	has_symbol_resolution
bool	has_demangling

---

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

• solver/Core/Exception.h