From 8b0d1c5296c22ce28fd0c8f9b251308b7bbf3090 Mon Sep 17 00:00:00 2001
From: Adrian Kummerlaender
Date: Sat, 24 Jan 2015 15:24:19 +0100
Subject: Added `Modulo` math operator * redefined `Even` in terms of `Modulo`
 and removed unnecessary dependent name declarators * added appropriate test
 case, also for `Square`

---
 test.cc | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

(limited to 'test.cc')

diff --git a/test.cc b/test.cc
index 1a20a74..6476bb8 100644
--- a/test.cc
+++ b/test.cc
@@ -84,6 +84,22 @@ static_assert(
 	"(/ 10 2) != 42"
 );
 
+static_assert(
+	std::is_same<
+		tav::Int<1>,
+		tav::Modulo<tav::Int<10>, tav::Int<3>>::type
+	>::value,
+	"(modulo 10 3) != 1"
+);
+
+static_assert(
+	std::is_same<
+		tav::Int<4096>,
+		tav::Square<tav::Int<64>>::type
+	>::value,
+	"(square 64) != 4096"
+);
+
 // logic
 
 static_assert(
-- 
cgit v1.2.3