From 6d7802975f0c73c7802f236d63c7867d19c109e4 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Mon, 24 May 2021 08:13:56 -0700 Subject: [PATCH] remove compilation error and improve associated feedback to user --- src/storm-pomdp-cli/storm-pomdp.cpp | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/src/storm-pomdp-cli/storm-pomdp.cpp b/src/storm-pomdp-cli/storm-pomdp.cpp index 61a8f6194..50c3d6f0f 100644 --- a/src/storm-pomdp-cli/storm-pomdp.cpp +++ b/src/storm-pomdp-cli/storm-pomdp.cpp @@ -189,11 +189,8 @@ namespace storm { if (result) { STORM_PRINT_AND_LOG("From initial state, one can almost-surely reach the target."); } else { - if (k == pomdp.getNumberOfStates()) { - STORM_PRINT_AND_LOG("From initial state, one cannot almost-surely reach the target."); - } else { - STORM_PRINT_AND_LOG("From initial state, one may not almost-surely reach the target."); - } + // TODO consider adding check for end components to improve this message. + STORM_PRINT_AND_LOG("From initial state, one may not almost-surely reach the target."); } }