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

remove dead code and unused parameters #481

Closed sjunges closed 6 months ago

volkm commented 6 months ago

Just for future reference: constraintStates are currently ignored in MenuGameRefiner::refine(..)