Add Prelude Testing

anoma · Nov 7, 2024 · f4551ae · f4551ae
1 parent 0080b11
commit f4551ae
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;