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

fix warnings #488

Closed sjunges closed 5 months ago

sjunges commented 6 months ago

I saw that I introduced a new warning. Will delay merging this until I have time.

sjunges commented 5 months ago

The problem is that old gcc version do not support -Wdeprecated-enum-enum-conversion while newers throw a warning. How shall i handle this? Accept the warning about pragmas in old gccs? Maybe we can detect GCC versions and disable warnings about unknown pragmas on old gccs? (but i really would love to focus on new gcc versions)

sjunges commented 5 months ago

@tquatmann decided that introducing the warning on Ubuntu 20.04 and Debian 11 is ok for now