Idris2Doc : Evince.Rerun

Evince.Rerun

(source)

Definitions

writeFailures : List (ListString) ->IO ()
  Write failed test paths to the failure file. Deletes the file if
there are no failures (clean slate).

Visibility: export
readFailures : IO (Maybe (ListString))
  Read previously failed test paths from the failure file.

Visibility: export