Idris2Doc : Tester.Runner

Tester.Runner

(source)

Definitions

runTests : ListTest->IOBool
  Run the set of tests in `tests` and print out the test result.

If a test failed the fail-message will be displayed.

@ tests The tests to run

Visibility: export