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 incorrectly flagging terminal states as 'unexplored'. #574

Closed tquatmann closed 3 days ago

tquatmann commented 3 days ago

Fixes #559