diff --git a/src/test/storm/modelchecker/CtmcCslModelCheckerTest.cpp b/src/test/storm/modelchecker/CtmcCslModelCheckerTest.cpp index 47a3f5e5b..9ea3420ca 100644 --- a/src/test/storm/modelchecker/CtmcCslModelCheckerTest.cpp +++ b/src/test/storm/modelchecker/CtmcCslModelCheckerTest.cpp @@ -86,7 +86,7 @@ namespace { storm::Environment env; env.solver().setLinearEquationSolverType(storm::solver::EquationSolverType::Native); env.solver().native().setMethod(storm::solver::NativeLinearEquationSolverMethod::SOR); - env.solver().native().setPrecision(storm::utility::convertNumber(1e-8)); + env.solver().native().setPrecision(storm::utility::convertNumber(1e-9)); env.solver().native().setRelativeTerminationCriterion(false); env.solver().native().setMaximalNumberOfIterations(5000000); return env;