diff --git a/prism/src/simulator/simpath.cc b/prism/src/simulator/simpath.cc index 16989e7e..4ba84498 100644 --- 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);