diff --git a/src/storm/simulator/PrismProgramSimulator.cpp b/src/storm/simulator/PrismProgramSimulator.cpp index 6f693b3ce..ba58cdc3e 100644 --- a/src/storm/simulator/PrismProgramSimulator.cpp +++ b/src/storm/simulator/PrismProgramSimulator.cpp @@ -107,6 +107,7 @@ namespace storm { template bool DiscreteTimePrismProgramSimulator::resetToInitial() { + lastActionRewards = zeroRewards; auto indices = stateGenerator->getInitialStates(stateToIdCallback); STORM_LOG_THROW(indices.size() == 1, storm::exceptions::NotSupportedException, "Program must have a unique initial state"); currentState = idToState[indices[0]]; @@ -115,6 +116,7 @@ namespace storm { template bool DiscreteTimePrismProgramSimulator::resetToState(generator::CompressedState const& newState) { + lastActionRewards = zeroRewards; currentState = newState; return explore(); }