From 6232c4caa6e9e6756d86415afd25a2f0cf93b742 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 19 Dec 2008 10:44:39 +0000 Subject: [PATCH] Removed redundant out-of-memory errors. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@901 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/hybrid/PH_JOR.cc | 2 -- 1 file changed, 2 deletions(-) diff --git a/prism/src/hybrid/PH_JOR.cc b/prism/src/hybrid/PH_JOR.cc index c6cb3fa0..7b528972 100644 --- a/prism/src/hybrid/PH_JOR.cc +++ b/prism/src/hybrid/PH_JOR.cc @@ -160,7 +160,6 @@ jdouble omega // omega (over-relaxation parameter) } else { diags_vec = hdd_negative_row_sums(hddm, n, transpose); } - if (!diags_vec) { PH_PrintToMainLog(env, "\n"); PH_SetErrorMessage("Out of memory when creating diagonals vector"); return 0; } // if any of the diagonals are zero, set them to one - avoids division by zero errors later // strictly speaking, such matrices shouldn't work for this iterative method // but they do occur, e.g. for steady-state computation of a bscc, this fixes it @@ -208,7 +207,6 @@ jdouble omega // omega (over-relaxation parameter) soln = mtbdd_to_double_vector(ddman, init, rvars, num_rvars, odd); soln2 = new double[n]; - if (!soln2) { PH_SetErrorMessage("Out of memory"); return 0; } kb = n*8.0/1024.0; kbt += 2*kb; PH_PrintMemoryToMainLog(env, "[2 x ", kb, "]\n");