From 036ee7dd97f42efeecf1c66396731419a973126a Mon Sep 17 00:00:00 2001
From: Benjamin Paassen <bpaassen@techfak.uni-bielefeld.de>
Date: Fri, 6 Feb 2015 19:21:11 +0100
Subject: made cardinality to an own class instead of using.

---
 test/core/RangeSetTest.cpp | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'test/core/RangeSetTest.cpp')

diff --git a/test/core/RangeSetTest.cpp b/test/core/RangeSetTest.cpp
index e158233..cbf8f59 100644
--- a/test/core/RangeSetTest.cpp
+++ b/test/core/RangeSetTest.cpp
@@ -216,5 +216,11 @@ TEST(RangeSet, Contains)
 	ASSERT_TRUE(s.contains(Range<int>(70, 74)));
 }
 
+TEST(RangeSet, AnyCardinality){
+	RangeSet<size_t> expected;
+	expected.merge(Range<size_t>::typeRange());
+	ASSERT_EQ(expected, Cardinality::any());
+}
+
 }
 
-- 
cgit v1.2.3