From 275f1ff15eab13ac016a1e9324fb2e74a1a104b5 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 11 Jul 2017 10:25:55 +0200
Subject: [PATCH] only filter the result if there actually is a result and a
 filter

---
 src/storm/cli/cli.cpp | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/src/storm/cli/cli.cpp b/src/storm/cli/cli.cpp
index caf3aa0c3..c84fce107 100644
--- a/src/storm/cli/cli.cpp
+++ b/src/storm/cli/cli.cpp
@@ -683,7 +683,9 @@ namespace storm {
                                             } else {
                                                 filter = storm::api::verifyWithSparseEngine<ValueType>(sparseModel, storm::api::createTask<ValueType>(states, false));
                                             }
-                                            result->filter(filter->asQualitativeCheckResult());
+                                            if (result && filter) {
+                                                result->filter(filter->asQualitativeCheckResult());
+                                            }
                                             return result;
                                         });
         }
@@ -703,8 +705,9 @@ namespace storm {
                 } else {
                     filter = storm::api::verifyWithHybridEngine<DdType, ValueType>(symbolicModel, storm::api::createTask<ValueType>(states, false));
                 }
-                
-                result->filter(filter->asQualitativeCheckResult());
+                if (result && filter) {
+                    result->filter(filter->asQualitativeCheckResult());
+                }
                 return result;
             });
         }
@@ -724,8 +727,9 @@ namespace storm {
                 } else {
                     filter = storm::api::verifyWithDdEngine<DdType, ValueType>(symbolicModel, storm::api::createTask<ValueType>(states, false));
                 }
-                
-                result->filter(filter->asQualitativeCheckResult());
+                if (result && filter) {
+                    result->filter(filter->asQualitativeCheckResult());
+                }
                 return result;
             });
         }