From 552b3eaab7243e94771e4fabdadb8bd541f1e39a Mon Sep 17 00:00:00 2001 From: dehnert Date: Thu, 11 Sep 2014 17:20:38 +0200 Subject: [PATCH] Fixed SCC performance tests. Former-commit-id: a6b46e2fc5420fdd2514f011b13da557f9a409c3 --- .../storage/StronglyConnectedComponentDecompositionTest.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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());