Small bugfix to simulator (for cumulative time).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@187 bbc10eb1-c90d-0410-af57-cb519fbb1720
19 years ago · f57befa6b2
1 changed files with 2 additions and 2 deletions
--- a/prism/src/simulator/simpath.cc
+++ b/prism/src/simulator/simpath.cc
@ -725,11 +725,11 @@ inline void Add_Current_State_To_Path()
 			if (current_index > 1)
 			{
 				CPathState * state_before_last_state = stored_path[current_index-2];
-				last_state->cumulative_time_spent_in_state = last_state->cumulative_time_spent_in_state + state_before_last_state->cumulative_time_spent_in_state;
+				last_state->cumulative_time_spent_in_state = last_state->time_spent_in_state + state_before_last_state->cumulative_time_spent_in_state;
 			}
 			else
 			{
-				last_state->cumulative_time_spent_in_state = last_state->cumulative_time_spent_in_state;
+				last_state->cumulative_time_spent_in_state = last_state->time_spent_in_state;
 			}
 			
 			last_state->time_known = true;