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

Fixed DdPrismModelBuilder #494

Closed tquatmann closed 5 months ago

tquatmann commented 5 months ago

The bug could occur when the same action appeared in multiple modules and multiple commands.

The revised code is now similar to the analogous code in the DdJaniModelBuilder

Thanks @volkm for reporting this