From dccb9e5f8bf9f77b590d84a1981a4495c1582339 Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Tue, 23 Feb 2021 17:45:56 +0100
Subject: [PATCH] changed some debug output

---
 src/storm-cli-utilities/model-handling.h | 4 +---
 src/storm/storage/jani/Property.cpp      | 4 ----
 2 files changed, 1 insertion(+), 7 deletions(-)

diff --git a/src/storm-cli-utilities/model-handling.h b/src/storm-cli-utilities/model-handling.h
index f397095b8..4982c8eef 100644
--- a/src/storm-cli-utilities/model-handling.h
+++ b/src/storm-cli-utilities/model-handling.h
@@ -838,7 +838,7 @@ namespace storm {
 
         void printModelCheckingProperty(storm::jani::Property const& property) {
             if(property.isShieldingProperty()) {
-                STORM_PRINT(std::endl << "Creating " << *(property.getShieldingExpression()) << " for ...");
+                STORM_PRINT(std::endl << "Creating a " << *(property.getShieldingExpression()) << " for:");
             }
             STORM_PRINT(std::endl << "Model checking property \"" << property.getName() << "\": " << *property.getRawFormula() << " ..." << std::endl);
         }
@@ -1002,12 +1002,10 @@ namespace storm {
             auto const& ioSettings = storm::settings::getModule<storm::settings::modules::IOSettings>();
             auto verificationCallback = [&sparseModel,&ioSettings,&mpi] (std::shared_ptr<storm::logic::Formula const> const& formula, std::shared_ptr<storm::logic::Formula const> const& states, std::shared_ptr<storm::logic::ShieldExpression const> const& shieldingExpression) {
                                             bool filterForInitialStates = states->isInitialFormula();
-                                            std::cout << "verificationCallback shieldingExpression: " << *shieldingExpression << " ";
                                             auto task = storm::api::createTask<ValueType>(formula, filterForInitialStates);
                                             if(shieldingExpression) {
                                                 task.setShieldingExpression(shieldingExpression);
                                             }
-                                            std::cout << "isShieldingTask ? " << task.isShieldingTask() << std::endl;
                                             if (ioSettings.isExportSchedulerSet()) {
                                                 task.setProduceSchedulers(true);
                                             }
diff --git a/src/storm/storage/jani/Property.cpp b/src/storm/storage/jani/Property.cpp
index 772f2f1c4..063e18ee0 100644
--- a/src/storm/storage/jani/Property.cpp
+++ b/src/storm/storage/jani/Property.cpp
@@ -9,16 +9,12 @@ namespace storm {
 
         Property::Property(std::string const& name, std::shared_ptr<storm::logic::Formula const> const& formula, std::set<storm::expressions::Variable> const& undefinedConstants, std::shared_ptr<storm::logic::ShieldExpression const> const& shieldingExpression, std::string const& comment)
         : name(name), comment(comment), filterExpression(FilterExpression(formula)), undefinedConstants(undefinedConstants), shieldingExpression(shieldingExpression) {
-            std::cout << "In Property ctor: " << *(this->shieldingExpression.get()) << std::endl;
-            std::cout << "In Property ctor: " << *(shieldingExpression.get()) << std::endl;
             // Intentionally left empty.
         }
 
         Property::Property(std::string const& name, FilterExpression const& fe, std::set<storm::expressions::Variable> const& undefinedConstants, std::shared_ptr<storm::logic::ShieldExpression const> const& shieldingExpression, std::string const& comment)
         : name(name), comment(comment), filterExpression(fe), undefinedConstants(undefinedConstants), shieldingExpression(shieldingExpression) {
             // Intentionally left empty.
-            std::cout << "In Property ctor with filterExpression: " << *(this->shieldingExpression.get()) << std::endl;
-            std::cout << "In Property ctor with filterExpression: " << *(shieldingExpression.get()) << std::endl;
         }
 
         std::string const& Property::getName() const {