diff --git a/src/utility/solver.cpp b/src/utility/solver.cpp index 0bad79f66..6f5a2bff7 100644 --- a/src/utility/solver.cpp +++ b/src/utility/solver.cpp @@ -87,6 +87,7 @@ namespace storm { { prefTech = storm::solver::MinMaxTechniqueSelection::FROMSETTINGS; setSolverType(solver); + std::cout << toString(prefTech) << std::endl; } template @@ -107,6 +108,7 @@ namespace storm { template std::unique_ptr> MinMaxLinearEquationSolverFactory::create(storm::storage::SparseMatrix const& matrix, bool trackPolicy) const { + std::cout << toString(prefTech) << std::endl; std::unique_ptr> p1; switch (solverType) { @@ -122,7 +124,7 @@ namespace storm { } case storm::solver::EquationSolverType::Topological: { - STORM_LOG_THROW(prefTech == storm::solver::MinMaxTechniqueSelection::PolicyIteration, storm::exceptions::NotImplementedException, "Policy iteration for topological solver is not supported."); + STORM_LOG_THROW(prefTech != storm::solver::MinMaxTechniqueSelection::PolicyIteration, storm::exceptions::NotImplementedException, "Policy iteration for topological solver is not supported."); p1.reset(new storm::solver::TopologicalMinMaxLinearEquationSolver(matrix)); break; } diff --git a/test/functional/solver/GlpkLpSolverTest.cpp b/test/functional/solver/GlpkLpSolverTest.cpp index 21e97bf79..7e8fcf075 100644 --- a/test/functional/solver/GlpkLpSolverTest.cpp +++ b/test/functional/solver/GlpkLpSolverTest.cpp @@ -14,7 +14,7 @@ #include "src/solver/OptimizationDirection.h" TEST(GlpkLpSolver, LPOptimizeMax) { - storm::solver::GlpkLpSolver solver(storm::OptimizationDirection::Minimize); + storm::solver::GlpkLpSolver solver(storm::OptimizationDirection::Maximize); storm::expressions::Variable x; storm::expressions::Variable y; storm::expressions::Variable z;