|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Symbolic type exception class. More...
#include <irep2.h>
Public Member Functions | |
| const char * | what () const noexcept |
Symbolic type exception class.
To be thrown when attempting to fetch the width of a symbolic type, such as empty or code. Caller will have to worry about what to do about that.
|
inlinenoexcept |