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;