From c1b14fc2503fe660b6d8c9c4ec570a28dc7d3de1 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 23 Nov 2017 21:48:49 +0100
Subject: [PATCH] increased precision to make a test pass
---
src/test/storm/modelchecker/CtmcCslModelCheckerTest.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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<storm::RationalNumber>(1e-8));
+ env.solver().native().setPrecision(storm::utility::convertNumber<storm::RationalNumber>(1e-9));
env.solver().native().setRelativeTerminationCriterion(false);
env.solver().native().setMaximalNumberOfIterations(5000000);
return env;