Stormpy.exceptions

exception StormError(message: str)

Base class for exceptions in Storm.

Constructor.

Parameters:

message (str) – Error message.