Idris2Doc : Evince.Reporter.JUnit

Evince.Reporter.JUnit

(source)

Definitions

renderXml : ListTestReport->String
  Render test reports as a JUnit XML string.

Visibility: export
junitReporter : String->IOReporter
  Create a JUnit XML reporter that accumulates test results and writes
them to the given file path when the suite completes.

Visibility: export