Open sjunges opened 1 month ago
In my quest for https://github.com/moves-rwth/storm/issues/154, the following ignorance of phistates looks like a potential bug?
https://github.com/moves-rwth/storm/blame/2683d1c067cdc2a6d208b87ffd5f4a7a69742e06/src/storm/modelchecker/csl/helper/SparseCtmcCslHelper.cpp#L548
In my quest for https://github.com/moves-rwth/storm/issues/154, the following ignorance of phistates looks like a potential bug?
https://github.com/moves-rwth/storm/blame/2683d1c067cdc2a6d208b87ffd5f4a7a69742e06/src/storm/modelchecker/csl/helper/SparseCtmcCslHelper.cpp#L548