diff --git a/src/test/storm/modelchecker/prctl/mdp/QuantileQueryTest.cpp b/src/test/storm/modelchecker/prctl/mdp/QuantileQueryTest.cpp index 9fbf3bffb..65983ef6a 100755 --- a/src/test/storm/modelchecker/prctl/mdp/QuantileQueryTest.cpp +++ b/src/test/storm/modelchecker/prctl/mdp/QuantileQueryTest.cpp @@ -98,6 +98,7 @@ namespace { std::pair compareResult(std::shared_ptr> const& model, std::unique_ptr& result, std::vector const& expected) { bool equal = true; std::string errorMessage = ""; + ValueType comparePrecision = std::is_same::value ? storm::utility::convertNumber(1e-10) : storm::utility::zero(); auto filter = getInitialStateFilter(model); result->filter(*filter); std::vector> resultPoints; @@ -120,7 +121,7 @@ namespace { for (auto const& resPoint : resultPoints) { bool contained = false; for (auto const& expPoint : expectedPoints) { - if (resPoint == expPoint) { + if (storm::utility::vector::equalModuloPrecision(resPoint, expPoint, comparePrecision, true)) { contained = true; break; } @@ -133,7 +134,7 @@ namespace { for (auto const& expPoint : expectedPoints) { bool contained = false; for (auto const& resPoint : resultPoints) { - if (resPoint == expPoint) { + if (storm::utility::vector::equalModuloPrecision(resPoint, expPoint, comparePrecision, true)) { contained = true; break; }