From 31c183d8edfa670be3a29cd387f40fd521c78d87 Mon Sep 17 00:00:00 2001
From: John Wellbelove <fork@wellbelove.co.uk>
Date: Mon, 19 Jul 2021 21:56:26 +0100
Subject: [PATCH] Added etl::conjunction and etl::disjunction tests

---
 test/test_type_traits.cpp | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/test/test_type_traits.cpp b/test/test_type_traits.cpp
index 8230581f..b77bc493 100644
--- a/test/test_type_traits.cpp
+++ b/test/test_type_traits.cpp
@@ -871,4 +871,18 @@ namespace
     CHECK((etl::are_all_same<int, int, int, int, int>::value == true));
     CHECK((etl::are_all_same<int, int, int, char, int>::value == false));
   }
+
+  //*************************************************************************
+  TEST(test_conjunction)
+  {
+    CHECK((etl::conjunction_v<etl::true_type, etl::true_type, etl::true_type>));
+    CHECK((!etl::conjunction_v<etl::true_type, etl::false_type, etl::true_type>));
+  }
+
+  //*************************************************************************
+  TEST(test_disjunction)
+  {
+    CHECK((etl::disjunction_v<etl::false_type, etl::true_type, etl::false_type>));
+    CHECK((!etl::disjunction_v<etl::false_type, etl::false_type, etl::false_type>));
+  }
 }