Start work on the testing framework

1 files changed, 33 insertions, 0 deletions

diff --git a/asl/tests/option_tests.cpp b/asl/tests/option_tests.cpp
new file mode 100644
index 0000000..7de1f9c
--- /dev/null
+++ b/asl/tests/option_tests.cpp
@@ -0,0 +1,33 @@
+#include "asl/option.hpp"

+#include "asl/tests/test_types.hpp"

+#include <asl/testing/testing.hpp>
+

+static_assert(asl::trivially_destructible<asl::option<TriviallyDestructible>>);

+static_assert(!asl::trivially_destructible<asl::option<HasDestructor>>);

+

+static_assert(asl::copy_constructible<asl::option<int>>);

+static_assert(asl::copy_constructible<asl::option<CopyConstructible>>);

+static_assert(!asl::copy_constructible<asl::option<MoveConstructible>>);

+static_assert(!asl::copy_constructible<asl::option<NonMoveConstructible>>);

+

+static_assert(asl::move_constructible<asl::option<int>>);

+static_assert(asl::move_constructible<asl::option<CopyConstructible>>);

+static_assert(asl::move_constructible<asl::option<MoveConstructible>>);

+static_assert(!asl::move_constructible<asl::option<NonMoveConstructible>>);

+

+static_assert(asl::copy_assignable<asl::option<int>>);

+static_assert(asl::copy_assignable<asl::option<CopyAssignable>>);

+static_assert(!asl::copy_assignable<asl::option<MoveAssignable>>);

+static_assert(!asl::copy_assignable<asl::option<NonMoveAssignable>>);

+

+static_assert(asl::move_assignable<asl::option<int>>);

+static_assert(asl::move_assignable<asl::option<CopyAssignable>>);

+static_assert(!asl::move_assignable<asl::option<NonMoveAssignable>>);

+

+ASL_TEST(Option, cheese)

+{

+    asl::option<int> a;

+    asl::option<int> b;

+

+    a = ASL_MOVE(b);

+}