From d2c658f6c13ceb7f52be8e0a2d85cabf1585d7db Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Thu, 5 Jan 2017 17:10:19 +0100
Subject: [PATCH] removed deprecated expectation in test

---
 src/test/modelchecker/SparseDtmcRegionModelCheckerTest.cpp | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/test/modelchecker/SparseDtmcRegionModelCheckerTest.cpp b/src/test/modelchecker/SparseDtmcRegionModelCheckerTest.cpp
index d3c1966df..3f40c305d 100644
--- a/src/test/modelchecker/SparseDtmcRegionModelCheckerTest.cpp
+++ b/src/test/modelchecker/SparseDtmcRegionModelCheckerTest.cpp
@@ -139,11 +139,6 @@ TEST(SparseDtmcRegionModelCheckerTest, Brp_Rew) {
     dtmcModelchecker->checkRegion(exBothRegion);
     EXPECT_EQ((storm::modelchecker::region::RegionCheckResult::EXISTSBOTH), exBothRegion.getCheckResult());
     dtmcModelchecker->checkRegion(exBothHardRegion);
-    //At this moment, Approximation should not be able to get a result for this region. (However, it is not wrong if it can)
-    EXPECT_TRUE(
-                (exBothHardRegion.getCheckResult()==(storm::modelchecker::region::RegionCheckResult::EXISTSBOTH)) ||
-                (exBothHardRegion.getCheckResult()==(storm::modelchecker::region::RegionCheckResult::EXISTSVIOLATED))
-            );
     dtmcModelchecker->checkRegion(allVioRegion);
     EXPECT_EQ((storm::modelchecker::region::RegionCheckResult::ALLVIOLATED), allVioRegion.getCheckResult());