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 Warnings #543

Closed AlexBork closed 1 month ago

AlexBork commented 1 month ago

Removes two "unused variable" warnings in beliefExplorationPomdpModelChecker