Obtain the Juvix compiler at https://github.com/anoma/juvix
The following module defines a simple test suite:
module Example;
import Stdlib.Prelude open;
import Test.JuvixUnit open;
tests : List Test :=
[testCase "1 == 1" (assertEqual "1 /= 1" 1 1)];
main : IO := runTestSuite (testSuite "Example" tests);
Compile and run the test suite:
$ juvix compile Example.juvix
$ ./Example
Test suite 'Example'
1 == 1 OK
All tests from test suite 'Example' complete
Suite passedFor more examples see Example.juvix or the test suite.