From 12bf479f84e5aa76601f47b9b2b5b11558d2d0ed Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 8 Dec 2006 14:52:09 +0000 Subject: [PATCH] Bugfix (segfault) in simulator binary input. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@189 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/simulator/simmodel.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/prism/src/simulator/simmodel.cc b/prism/src/simulator/simmodel.cc index 1d7a0657..671fe75d 100644 --- a/prism/src/simulator/simmodel.cc +++ b/prism/src/simulator/simmodel.cc @@ -1102,6 +1102,7 @@ void Read_Model(int fd) no_state_rewards_added = new int[no_reward_structs]; no_transition_rewards_added = new int[no_reward_structs]; state_rewards_table = new CStateReward**[no_reward_structs]; + transition_rewards_table = new CTransitionReward**[no_reward_structs]; if(no_state_rewards == NULL || no_transition_rewards == NULL || no_state_rewards_added == NULL || no_transition_rewards_added == NULL || state_rewards_table == NULL) { Report_Error("Simulator engine ran out of memory when allocating state rewards tables.");