From f4551ae718da5d1360f6894e8c1f7e33bc335f2a Mon Sep 17 00:00:00 2001
From: mariari <mariari@protonmail.com>
Date: Thu, 7 Nov 2024 14:09:43 +0800
Subject: [PATCH] Add Prelude Testing

---
 test/Test/Prelude.juvix | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 test/Test/Prelude.juvix

diff --git a/test/Test/Prelude.juvix b/test/Test/Prelude.juvix
new file mode 100644
index 00000000..e0b65989
--- /dev/null
+++ b/test/Test/Prelude.juvix
@@ -0,0 +1,11 @@
+module Test.Prelude;
+
+import Test.JuvixUnit open;
+import Stdlib.Prelude open;
+
+tests : List Test :=
+  [testCase "And" (assertEqual "and works as expected" (and true false) false)];
+
+suite : TestSuite := testSuite "Prelude" tests;
+
+main : IO := runTestSuite suite;