Add Prelude Testing

anoma · Nov 7, 2024 · 5100e20 · 5100e20
1 parent 61e7cd7
commit 5100e20
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;