Fixed running in an infinite loop when computing LRA on markov automata with relative precision.

6 years ago · 629de20da0
1 changed files with 1 additions and 1 deletions
--- a/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp
+++ b/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp
@ -1047,7 +1047,7 @@ namespace storm {
                    }

                    // Check for convergence
-                    if ((maxDiff - minDiff) <= (relative ? (precision * minDiff) : precision)) {
+                    if ((maxDiff - minDiff) <= (relative ? (precision * (v.front() + minDiff)) : precision)) {
                        break;
                    }