Browse Source

fixed doing the end component analysis in multi objective model checking multiple times

tempestpy_adaptions
TimQu 8 years ago
parent
commit
6d86df0ead
  1. 1
      src/storm/modelchecker/multiobjective/pcaa/SparsePcaaPreprocessor.cpp

1
src/storm/modelchecker/multiobjective/pcaa/SparsePcaaPreprocessor.cpp

@ -81,6 +81,7 @@ namespace storm {
auto backwardTransitions = result.preprocessedModel.getBackwardTransitions(); auto backwardTransitions = result.preprocessedModel.getBackwardTransitions();
analyzeEndComponents(result, backwardTransitions); analyzeEndComponents(result, backwardTransitions);
ensureRewardFiniteness(result, backwardTransitions); ensureRewardFiniteness(result, backwardTransitions);
break;
} }
} }
return result; return result;

Loading…
Cancel
Save