12 #ifndef CPROVER_UTIL_BASE_EXCEPTIONS_H 13 #define CPROVER_UTIL_BASE_EXCEPTIONS_H 24 template <
typename... Ts>
32 template <
typename... Ts>
A logic error, augmented with a distinguished field to hold a backtrace.
nullptr_exceptiont(Ts &&...ts)
bad_cast_exceptiont(Ts &&...ts)