test

usage: mach test [-h] [-a ALGORITHMS] [-l LANGUAGE] [--coverage] [-v]

Test HACL*

options:
  -h, --help            show this help message and exit
  -a ALGORITHMS, --algorithms ALGORITHMS
                        The algorithms to test.
  -l LANGUAGE, --language LANGUAGE
                        Language bindings to test.
  --coverage            Test with coverage instrumentation.
  -v, --verbose         Make tests verbose.