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::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 actualToExpectedRowMapping;