diff --git a/test/performance/storage/StronglyConnectedComponentDecompositionTest.cpp b/test/performance/storage/StronglyConnectedComponentDecompositionTest.cpp index 83bc77de6..24c173265 100644 --- a/test/performance/storage/StronglyConnectedComponentDecompositionTest.cpp +++ b/test/performance/storage/StronglyConnectedComponentDecompositionTest.cpp @@ -15,7 +15,7 @@ TEST(StronglyConnectedComponentDecomposition, Crowds) { ASSERT_EQ(1290297ull, sccDecomposition.size()); ASSERT_NO_THROW(sccDecomposition = storm::storage::StronglyConnectedComponentDecomposition(*dtmc, true)); - ASSERT_EQ(1290297, sccDecomposition.size()); + ASSERT_EQ(437690, sccDecomposition.size()); ASSERT_NO_THROW(sccDecomposition = storm::storage::StronglyConnectedComponentDecomposition(*dtmc, true, true)); ASSERT_EQ(425040, sccDecomposition.size()); @@ -33,7 +33,7 @@ TEST(StronglyConnectedComponentDecomposition, SynchronousLeader) { ASSERT_EQ(2611835, sccDecomposition.size()); ASSERT_NO_THROW(sccDecomposition = storm::storage::StronglyConnectedComponentDecomposition(*dtmc, true)); - ASSERT_EQ(2611835, sccDecomposition.size()); + ASSERT_EQ(2, sccDecomposition.size()); ASSERT_NO_THROW(sccDecomposition = storm::storage::StronglyConnectedComponentDecomposition(*dtmc, true, true)); ASSERT_EQ(1, sccDecomposition.size());