From 87d078f897f490fef102c128c8f752bdb3c8dd5e Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Wed, 13 Feb 2019 12:53:18 +0100 Subject: [PATCH] Output error by STORM_LOG_ERROR --- src/storm-cli-utilities/model-handling.h | 2 +- src/storm-pars-cli/storm-pars.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/storm-cli-utilities/model-handling.h b/src/storm-cli-utilities/model-handling.h index 4c7a9f01b..bde438b44 100644 --- a/src/storm-cli-utilities/model-handling.h +++ b/src/storm-cli-utilities/model-handling.h @@ -579,7 +579,7 @@ namespace storm { STORM_PRINT("Time for model checking: " << *watch << "." << std::endl); } } else { - STORM_PRINT(" failed, property is unsupported by selected engine/settings." << std::endl); + STORM_LOG_ERROR("Property is unsupported by selected engine/settings." << std::endl); } } diff --git a/src/storm-pars-cli/storm-pars.cpp b/src/storm-pars-cli/storm-pars.cpp index 6b3763321..fe5f50993 100644 --- a/src/storm-pars-cli/storm-pars.cpp +++ b/src/storm-pars-cli/storm-pars.cpp @@ -257,7 +257,7 @@ namespace storm { STORM_PRINT_AND_LOG("Time for model checking: " << *watch << "." << std::endl << std::endl); } } else { - STORM_PRINT_AND_LOG(" failed, property is unsupported by selected engine/settings." << std::endl); + STORM_LOG_ERROR("Property is unsupported by selected engine/settings." << std::endl); } }