diff --git a/src/storm/simulator/PrismProgramSimulator.cpp b/src/storm/simulator/PrismProgramSimulator.cpp index 0b72f6f58..6f693b3ce 100644 --- a/src/storm/simulator/PrismProgramSimulator.cpp +++ b/src/storm/simulator/PrismProgramSimulator.cpp @@ -44,6 +44,9 @@ namespace storm { if (behavior.getStateRewards().size() > 0) { STORM_LOG_ASSERT(behavior.getStateRewards().size() == lastActionRewards.size(), "Reward vectors should have same length."); } + for(uint64_t i = 0; i < behavior.getStateRewards().size(); i++) { + lastActionRewards[i] += behavior.getStateRewards()[i]; + } return true; }