Warning about VI operator initialization for scheduler extraction

[marisgg]

Hi!

The following warning shows up when model checking MDPs with extraction of schedulers enabled, using Stormpy 1.11.3 installed with pip:

WARN  (IterativeMinMaxLinearEquationSolver.cpp:191): Expected VI operator to be initialized for scheduler extraction. Initializing now, but this is inefficient.

See attached (test_stormpy.py) for a MWE adapted from here.

[tquatmann]

We accidentally printed this warning in the wrong cases. It has been fixed in this PR: stormchecker/storm#640

You can safely ignore it and the warning will be gone in the next release of Storm.