ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
exceptions.BaseException Class Reference
Inheritance diagram for exceptions.BaseException:
[legend]

Public Member Functions

 __init__ (self, str message="")
str __str__ (self)

Static Public Attributes

str message = ""

Constructor & Destructor Documentation

◆ __init__()

exceptions.BaseException.__init__ ( self,
str message = "" )

Member Function Documentation

◆ __str__()

str exceptions.BaseException.__str__ ( self)

Member Data Documentation

◆ message

str exceptions.BaseException.message = ""
static

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