From 251527bccf540a9794f1c8dc1e87142e5ad97faa Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Tue, 24 Nov 2020 10:09:09 +0100 Subject: [PATCH] storm-pars: Make a more explicit warning if a non-parametric equation solver type is selected. --- src/storm/solver/LinearEquationSolver.cpp | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/storm/solver/LinearEquationSolver.cpp b/src/storm/solver/LinearEquationSolver.cpp index 39aee7d89..df10b6921 100644 --- a/src/storm/solver/LinearEquationSolver.cpp +++ b/src/storm/solver/LinearEquationSolver.cpp @@ -112,7 +112,12 @@ namespace storm { // Adjust the solver type if it is not supported by this value type if (type == EquationSolverType::Gmmxx || type == EquationSolverType::Native) { - STORM_LOG_INFO("Selecting '" + toString(EquationSolverType::Eigen) + "' as the linear equation solver since the previously selected one (" << toString(type) << ") does not support parametric computations."); + if (env.solver().isLinearEquationSolverTypeSetFromDefaultValue()) { + STORM_LOG_INFO("Selecting '" + toString(EquationSolverType::Eigen) + "' as the linear equation solver since the previously selected one (" << toString(type) << ") does not support parametric computations."); + } else { + // Be more verbose if the user set the solver explicitly + STORM_LOG_WARN("The selected linear equation solver (" << toString(type) << ") does not support parametric computations. Falling back to " << toString(EquationSolverType::Eigen) << "."); + } type = EquationSolverType::Eigen; }