From 48dbaa6fbd4a6327d93513d0ce013c1dd1d66d7c Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 30 Jul 2019 08:52:51 +0200
Subject: [PATCH] Fixed a test

---
 src/test/storm/transformer/EndComponentEliminatorTest.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/test/storm/transformer/EndComponentEliminatorTest.cpp b/src/test/storm/transformer/EndComponentEliminatorTest.cpp
index 3dd19899f..7992a60fb 100644
--- a/src/test/storm/transformer/EndComponentEliminatorTest.cpp
+++ b/src/test/storm/transformer/EndComponentEliminatorTest.cpp
@@ -98,7 +98,7 @@ TEST(NeutralECRemover, SimpleModelTest) {
             ASSERT_LT(expectedNewState, std::numeric_limits<uint_fast64_t>::max()) << " Mapping does not match for oldState " << oldState;
             actualToExpectedStateMapping[actualNewState] = expectedNewState;
         } else {
-            ASSERT_LT(expectedNewState, actualNewState) << " Mapping does not match for oldState " << oldState;
+            ASSERT_EQ(expectedNewState, actualNewState) << " Mapping does not match for oldState " << oldState;
         }
     }
     std::vector<uint64_t> actualToExpectedRowMapping;