search

moves-rwth / storm

A Modern Probabilistic Model Checker
https://www.stormchecker.org
GNU General Public License v3.0
126 stars 73 forks source link

Fixed canHandle check for exploration and abstraction engine #491

Closed tquatmann closed 6 months ago

tquatmann commented 6 months ago

Fixes a current issue that when selecting --engine expl or --engine abs we always get output like this (no matter if the property is supported or not)

ERROR (Engine.cpp:160): The selected engine expl is not considered.
ERROR (Engine.cpp:163): The selected combination of engine (expl) and model type (dtmc) does not seem to be supported for this value type.
 WARN (storm.cpp:27): The model checking query does not seem to be supported for the selected engine. Storm will try to solve the query, but you will most likely get an error for at least one of the provided properties.
volkm commented 6 months ago

Fixes https://github.com/moves-rwth/storm/issues/250