issues
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 if/else with duplicate code
#485
Closed
sjunges
closed
6 months ago
sjunges
commented
6 months ago
There was no diff between the aux and non-aux code here.
There was no diff between the aux and non-aux code here.