Bugfix: simulator doesn't recompute state rewards when backtracking/restarting.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@28 bbc10eb1-c90d-0410-af57-cb519fbb1720
20 years ago · ee3fca5642
1 changed files with 2 additions and 0 deletions
--- a/prism/src/simulator/simpath.cc
+++ b/prism/src/simulator/simpath.cc
@ -405,6 +405,8 @@ void Backtrack(int step)
 	Recalculate_Path_Formulae();
 	Calculate_State_Reward(state_variables);
 	Calculate_Updates(state_variables);
 	loop_detection->Backtrack(step);