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

Unused parameter: Is it a bug? #540

Open sjunges opened 1 month ago

sjunges commented 1 month ago

In my quest for https://github.com/moves-rwth/storm/issues/154

https://github.com/moves-rwth/storm/blob/2683d1c067cdc2a6d208b87ffd5f4a7a69742e06/src/storm/generator/JaniNextStateGenerator.cpp#L739

This parameter is unused. I wonder whether that is intended?