Start API Documentation stormpy.exceptions StormError StormError¶ class StormError(message: str)¶ Bases: Exception Base class for exceptions in Storm. Constructor. Parameters: message (str) – Error message. add_note(note, /)¶ Add a note to the exception args¶ with_traceback(tb, /)¶ Set self.__traceback__ to tb and return self.