Copyright | (c) Fontaine 2011 |
---|---|
License | BSD3 |
Maintainer | fontaine@cs.uni-duesseldorf.de |
Stability | experimental |
Portability | GHC-only |
Safe Haskell | None |
Language | Haskell2010 |
Documentation
checkFileAsserts :: FilePath -> Bool -> IO [AssertResult] Source
formatAssertResults :: [AssertResult] -> Doc Source