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 issue with const failed BEs under SEQ which are triggered by FDEP #530

Closed volkm closed 1 month ago

volkm commented 1 month ago

Needed to check if a previously disabled dependency could be enabled through the failure of a BE under a SEQ.

Additional changes:

sjunges commented 1 month ago

I scrolled through this and I have no comments ;-) feel free to merge

volkm commented 1 month ago

Thanks for taking a look.