removed debug output and fixed a test

src/storm/modelchecker/multiobjective/pcaa/SparsePcaaParetoQuery.cpp

@@ -80,8 +80,7 @@ namespace storm {
                         // Goal precision reached!
                         return;
                     }
-                    STORM_LOG_DEBUG("Current precision of the approximation of the pareto curve is ~" << storm::utility::convertNumber<double>(farestDistance));
-                    std::cout << "Current precision of the approximation of the pareto curve is ~" << storm::utility::convertNumber<double>(farestDistance) << std::endl;
+                    STORM_LOG_INFO("Current precision of the approximation of the pareto curve is ~" << storm::utility::convertNumber<double>(farestDistance));
                     WeightVector direction = underApproxHalfspaces[farestHalfspaceIndex].normalVector();
                     this->performRefinementStep(std::move(direction));
                 }

src/storm/modelchecker/multiobjective/pcaa/SparsePcaaQuery.cpp

@@ -121,7 +121,6 @@ namespace storm {
                 }
                 overApproximation = overApproximation->intersection(h);
                 STORM_LOG_DEBUG("Updated OverApproximation to " << overApproximation->toString(true));
-                std::cout << "Updated OverApproximation to " << overApproximation->toString(true) << std::endl;
             }
             
             template <class SparseModelType, typename GeometryValueType>
@@ -133,7 +132,6 @@ namespace storm {
                 }
                 underApproximation = storm::storage::geometry::Polytope<GeometryValueType>::createDownwardClosure(paretoPoints);
                 STORM_LOG_DEBUG("Updated UnderApproximation to " << underApproximation->toString(true));
-                std::cout << "Updated UnderApproximation to " << underApproximation->toString(true) << std::endl;
             }
             
             template <class SparseModelType, typename GeometryValueType>

src/storm/modelchecker/multiobjective/pcaa/SparsePcaaWeightVectorChecker.cpp

@@ -146,9 +146,7 @@ namespace storm {
                 std::unique_ptr<storm::solver::MinMaxLinearEquationSolver<ValueType>> solver = solverFactory.create(ecEliminatorResult.matrix);
                 solver->setOptimizationDirection(storm::solver::OptimizationDirection::Maximize);
                 solver->setTrackScheduler(true);
-                std::cout << "invoked minmaxsolver" << std::endl;
                 solver->solveEquations(subResult, subRewardVector);
-                std::cout << "minmaxsolver done" << std::endl;
 
                 this->weightedResult = std::vector<ValueType>(model.getNumberOfStates());
                 std::vector<uint_fast64_t> optimalChoices(model.getNumberOfStates());

src/test/modelchecker/SparseMdpPcaaModelCheckerTest.cpp

@@ -104,7 +104,7 @@ TEST(SparseMdpPcaaModelCheckerTest, dpm) {
     
     std::unique_ptr<storm::modelchecker::CheckResult> result = storm::modelchecker::multiobjective::performPcaa(*mdp, formulas[0]->asMultiObjectiveFormula());
     ASSERT_TRUE(result->isExplicitQuantitativeCheckResult());
-    EXPECT_NEAR(121.61288, result->asExplicitQuantitativeCheckResult<double>()[initState], storm::settings::getModule<storm::settings::modules::GeneralSettings>().getPrecision());
+    EXPECT_NEAR(121.6128842, result->asExplicitQuantitativeCheckResult<double>()[initState], storm::settings::getModule<storm::settings::modules::GeneralSettings>().getPrecision());
 }