get_log_level

Warning

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

get_log_level() → stormpy.developer._core.LogLevel

Get log level of Storm