From 13e1e4515746fe65b6c50cfbc42f00e29fd56599 Mon Sep 17 00:00:00 2001
From: Aqua-sama <aqua@iserlohn-fortress.net>
Date: Sat, 6 Feb 2021 17:32:40 +0200
Subject: libk: add some tests

- merge types.h and type_traits.h
---
 libk/types/test.cc | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100644 libk/types/test.cc

(limited to 'libk/types')

diff --git a/libk/types/test.cc b/libk/types/test.cc
new file mode 100644
index 0000000..f93d883
--- /dev/null
+++ b/libk/types/test.cc
@@ -0,0 +1,29 @@
+#include <types.h>
+
+// types
+static_assert(sizeof(size_t) >= 2);
+
+static_assert(sizeof(uint8_t) == 1);
+static_assert(sizeof(uint16_t) == 2);
+static_assert(sizeof(uint32_t) == 4);
+static_assert(sizeof(uint64_t) == 8);
+
+static_assert(sizeof(int8_t) == 1);
+static_assert(sizeof(int16_t) == 2);
+static_assert(sizeof(int32_t) == 4);
+static_assert(sizeof(int64_t) == 8);
+
+// is_same
+static_assert(is_same<int, int>() == true);
+static_assert(is_same<int, unsigned int>() == false);
+
+// is_unsigned
+static_assert(is_unsigned<uint8_t>() == true);
+static_assert(is_unsigned<uint16_t>() == true);
+static_assert(is_unsigned<uint32_t>() == true);
+static_assert(is_unsigned<uint64_t>() == true);
+
+static_assert(is_unsigned<int8_t>() == false);
+static_assert(is_unsigned<int16_t>() == false);
+static_assert(is_unsigned<int32_t>() == false);
+static_assert(is_unsigned<int64_t>() == false);
-- 
cgit v1.2.1