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 some warnings #538

Closed sjunges closed 1 month ago

volkm commented 1 month ago

I tried to fix the compile issue and encountered the issue that the single-line version does not store information which state violates the assertion. In the interest of a better output, I will revert the change. Sorry for the wrong suggestion.