set_log_level

Warning

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

set_log_level(level: stormpy.developer._core.LogLevel) → None

Set log level of Storm