Add Prelude Testing

anoma · Dec 1, 2024 · 1bbc9f8 · 1bbc9f8
1 parent b50851a
commit 1bbc9f8
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/test/Test/Prelude.juvix 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;