Browse Source

Fix for hybrid GS bug introduced during previous "fix" at rev 504.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@530 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 18 years ago
parent
commit
df8c99805d
  1. 4
      prism/src/hybrid/PH_SOR.cc

4
prism/src/hybrid/PH_SOR.cc

@ -325,8 +325,8 @@ jboolean fwds // forwards or backwards?
} }
// if we never found a diagonal block (because it is empty and so not there), // if we never found a diagonal block (because it is empty and so not there),
// then we do the stuff that should have been sone after the processing of the diagonal block
for (i2 = 0; i2 < h2; i2++) {
// then we do the stuff that should have been done after the processing of the diagonal block
if (!l_b_max && !diag_done) for (i2 = 0; i2 < h2; i2++) {
// divide by diagonal // divide by diagonal
if (!compact_d) { if (!compact_d) {
soln2[i2] *= diags_vec[row_offset + i2]; soln2[i2] *= diags_vec[row_offset + i2];

Loading…
Cancel
Save