From f57befa6b2238382702cc9a0dc39a95843fd8d61 Mon Sep 17 00:00:00 2001 From: Mark Kattenbelt Date: Fri, 8 Dec 2006 09:43:37 +0000 Subject: [PATCH] Small bugfix to simulator (for cumulative time). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@187 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/simulator/simpath.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/simulator/simpath.cc b/prism/src/simulator/simpath.cc index 3940d0bd..d887cc0f 100644 --- 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;