LraViHelper: Fix for NondetTsNoIs

4 years ago · 9fbb587884
1 changed files with 3 additions and 1 deletions
--- a/src/storm/modelchecker/helper/infinitehorizon/internal/LraViHelper.cpp
+++ b/src/storm/modelchecker/helper/infinitehorizon/internal/LraViHelper.cpp
@ -96,8 +96,10 @@ namespace storm {
                            // The currently processed state is timed.
                            if (nondetTs()) {
                                tsTransitionsBuilder.newRowGroup(currTsRow);
+                                if (_hasInstantStates) {
                                    tsToIsTransitionsBuilder.newRowGroup(currTsRow);
                                }
+                            }
                            // We need to uniformize which means that a diagonal entry for the selfloop will be inserted.
                            // If there are exit rates, the uniformization factor needs to be updated.
                            if (exitRates) {