|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Public Member Functions | |
| __init__ (self, str message="OS error") | |
| str | __str__ (self) |
| Public Member Functions inherited from exceptions.Exception | |
| __init__ (self, str message="") | |
| str | __str__ (self) |
| Public Member Functions inherited from exceptions.BaseException | |
| __init__ (self, str message="") | |
| str | __str__ (self) |
Additional Inherited Members | |
| Static Public Attributes inherited from exceptions.BaseException | |
| str | message = "" |
Base class for I/O related errors
| exceptions.OSError.__init__ | ( | self, | |
| str | message = "OS error" ) |
| str exceptions.OSError.__str__ | ( | self | ) |