search

moves-rwth / storm

A Modern Probabilistic Model Checker
https://www.stormchecker.org
GNU General Public License v3.0
138 stars 75 forks source link

SparseCbAchievabilityQuery: create more balanced AST to avoid stackovflow #626

Closed tquatmann closed 3 weeks ago

tquatmann commented 3 weeks ago

fixes #625

sjunges commented 3 weeks ago

LGTM