1 files changed, 14 insertions, 0 deletions
diff --git a/test.cc b/test.cc
index f70f5ac..7f97762 100644
--- a/test.cc
+++ b/test.cc
@@ -1,5 +1,19 @@
 #include "gtest/gtest.h"
 
+#include "type.h"
+#include "operation.h"
+
+class TypeAsValueTest : public ::testing::Test { };
+
+TEST_F(TypeAsValueTest, Value) {
+	ASSERT_TRUE(( std::is_same<int, tav::Int<1>::value_type>::value ));
+}
+
+TEST_F(TypeAsValueTest, BasicMath) {
+	EXPECT_EQ(3, ( tav::add<tav::Int<1>, tav::Int<2>>::type::value ));
+	EXPECT_EQ(4, ( tav::substract<tav::Int<10>, tav::Int<6>>::type::value ));
+}
+
 int main(int argc, char **argv) {
 	testing::InitGoogleTest(&argc, argv);