Start Stormpy.exceptions Stormpy.exceptions¶ exception StormError(message: str)¶ Base class for exceptions in Storm. Constructor. Parameters: message (str) – Error message.