Browse Source

Fixed test

tempestpy_adaptions
TimQu 7 years ago
parent
commit
419fcd1b43
  1. 2
      src/test/storm/modelchecker/NativeMdpPrctlModelCheckerTest.cpp

2
src/test/storm/modelchecker/NativeMdpPrctlModelCheckerTest.cpp

@ -120,7 +120,7 @@ TEST(NativeMdpPrctlModelCheckerTest, Dice) {
result = stateAndTransitionRewardModelChecker.check(*formula);
storm::modelchecker::ExplicitQuantitativeCheckResult<double>& quantitativeResult11 = result->asExplicitQuantitativeCheckResult<double>();
EXPECT_NEAR(14.6666675, quantitativeResult11[0], storm::settings::getModule<storm::settings::modules::NativeEquationSolverSettings>().getPrecision());
EXPECT_NEAR(14.6666677, quantitativeResult11[0], storm::settings::getModule<storm::settings::modules::NativeEquationSolverSettings>().getPrecision());
formula = formulaParser.parseSingleFormulaFromString("Rmax=? [F \"done\"]");

Loading…
Cancel
Save