From 0775bdf549079030aa0b80de3cc4eb7357955e7c Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Fri, 29 Jan 2016 12:11:32 +0100
Subject: [PATCH] Disabled some debug output

Former-commit-id: 31ae65f255efc625441e1f0a98ba08bdd00a3d14
---
 examples/dft/voting.dft                 | 2 +-
 src/builder/ExplicitDFTModelBuilder.cpp | 1 -
 src/storm-dyftee.cpp                    | 5 ++---
 3 files changed, 3 insertions(+), 5 deletions(-)

diff --git a/examples/dft/voting.dft b/examples/dft/voting.dft
index 6a5e82b3e..5c648d424 100644
--- a/examples/dft/voting.dft
+++ b/examples/dft/voting.dft
@@ -1,5 +1,5 @@
 toplevel "A";
-"A" vot1 "B" "C" "D";
+"A" 1of3 "B" "C" "D";
 "B" lambda=0.1 dorm=0;
 "C" lambda=0.2 dorm=0;
 "D" lambda=0.3 dorm=0;
diff --git a/src/builder/ExplicitDFTModelBuilder.cpp b/src/builder/ExplicitDFTModelBuilder.cpp
index 0d37e795f..a203c93e8 100644
--- a/src/builder/ExplicitDFTModelBuilder.cpp
+++ b/src/builder/ExplicitDFTModelBuilder.cpp
@@ -99,7 +99,6 @@ namespace storm {
                     storm::storage::DFTState<ValueType> newState(state);
                     std::pair<std::shared_ptr<storm::storage::DFTBE<ValueType>>, bool> nextBE = newState.letNextBEFail(smallest++);
                     if (nextBE.first == nullptr) {
-                        std::cout << "break" << std::endl;
                         break;
 
                     }
diff --git a/src/storm-dyftee.cpp b/src/storm-dyftee.cpp
index cf9922c47..c187e5057 100644
--- a/src/storm-dyftee.cpp
+++ b/src/storm-dyftee.cpp
@@ -31,10 +31,9 @@ void analyzeDFT(std::string filename, std::string property) {
     assert(formulas.size() == 1);
     std::unique_ptr<storm::modelchecker::CheckResult> resultCtmc(storm::verifySparseModel(model, formulas[0]));
     assert(resultCtmc);
-    std::cout << "Result (initial states): ";
+    std::cout << "Result: ";
     resultCtmc->filter(storm::modelchecker::ExplicitQualitativeCheckResult(model->getInitialStates()));
     std::cout << *resultCtmc << std::endl;
-    std::cout << "Checked CTMC" << std::endl;
 }
 
 /*!
@@ -65,7 +64,7 @@ int main(int argc, char** argv) {
     }
 
     storm::utility::setUp();
-    log4cplus::LogLevel level = log4cplus::TRACE_LOG_LEVEL;
+    log4cplus::LogLevel level = log4cplus::WARN_LOG_LEVEL;
     logger.setLogLevel(level);
     logger.getAppender("mainConsoleAppender")->setThreshold(level);