Fixed warnings for comparisons in tests

moves-rwth / storm

A Modern Probabilistic Model Checker

https://www.stormchecker.org

GNU General Public License v3.0

126 stars 73 forks source link

Closed volkm closed 6 months ago

volkm commented 6 months ago

Mostly 1 -> 1ul

sjunges commented 6 months ago

I think some of these fixes were already merged here: https://github.com/moves-rwth/storm/pull/482

Otherwise, LGTM

volkm commented 6 months ago

Rebased to account for previous change. I will merge after the CI was successful.