Fixed a bug that prevented correct comparison with bounds in formulas.

Former-commit-id: ae6c28dcbe

src/modelchecker/results/ExplicitQuantitativeCheckResult.cpp

@@ -127,28 +127,28 @@ namespace storm {
                 switch (comparisonType) {
                     case logic::Less:
                         for (uint_fast64_t index = 0; index < valuesAsVector.size(); ++index) {
-                            if (result[index] < bound) {
+                            if (valuesAsVector[index] < bound) {
                                 result.set(index);
                             }
                         }
                         break;
                     case logic::LessEqual:
                         for (uint_fast64_t index = 0; index < valuesAsVector.size(); ++index) {
-                            if (result[index] <= bound) {
+                            if (valuesAsVector[index] <= bound) {
                                 result.set(index);
                             }
                         }
                         break;
                     case logic::Greater:
                         for (uint_fast64_t index = 0; index < valuesAsVector.size(); ++index) {
-                            if (result[index] > bound) {
+                            if (valuesAsVector[index] > bound) {
                                 result.set(index);
                             }
                         }
                         break;
                     case logic::GreaterEqual:
                         for (uint_fast64_t index = 0; index < valuesAsVector.size(); ++index) {
-                            if (result[index] >= bound) {
+                            if (valuesAsVector[index] >= bound) {
                                 result.set(index);
                             }
                         }