LogLevel

Warning

The stormpy developer API is internal and can be subject to change.

class LogLevel(*values)

Bases: Enum

Log level of Storm

DEBUG = 1

ERR = 4

FATAL = 5

INFO = 2

OFF = 6

TRACE = 0

WARN = 3