ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
type2t::symbolic_type_excp Class Reference

Symbolic type exception class. More...

#include <irep2.h>

Public Member Functions

const char * what () const noexcept

Detailed Description

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.

Member Function Documentation

◆ what()

const char * type2t::symbolic_type_excp::what ( ) const
inlinenoexcept

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