diff --git a/src/test/utility/VectorTest.cpp b/src/test/utility/VectorTest.cpp index 0bf7b8b8f..d424be5ea 100644 --- a/src/test/utility/VectorTest.cpp +++ b/src/test/utility/VectorTest.cpp @@ -7,17 +7,17 @@ TEST(VectorTest, sum_if) { std::vector a = {1.0, 2.0, 4.0, 8.0, 16.0}; storm::storage::BitVector f1(5, {2,4}); storm::storage::BitVector f2(5, {3,4}); - + ASSERT_EQ(20.0, storm::utility::vector::sum_if(a, f1)); ASSERT_EQ(24.0, storm::utility::vector::sum_if(a, f2)); - + } TEST(VectorTest, max_if) { std::vector a = {1.0, 2.0, 34.0, 8.0, 16.0}; storm::storage::BitVector f1(5, {2,4}); storm::storage::BitVector f2(5, {3,4}); - + ASSERT_EQ(34.0, storm::utility::vector::max_if(a, f1)); ASSERT_EQ(16.0, storm::utility::vector::max_if(a, f2)); } @@ -27,7 +27,7 @@ TEST(VectorTest, min_if) { std::vector a = {1.0, 2.0, 34.0, 8.0, 16.0}; storm::storage::BitVector f1(5, {2,4}); storm::storage::BitVector f2(5, {3,4}); - + ASSERT_EQ(16.0, storm::utility::vector::min_if(a, f1)); ASSERT_EQ(8.0, storm::utility::vector::min_if(a, f2)); }