CSPM-cspm-0.8.1.0: cspm command line tool for analyzing CSPM specifications.

Copyright(c) Fontaine 2011
LicenseBSD3
Maintainerfontaine@cs.uni-duesseldorf.de
Stabilityexperimental
PortabilityGHC-only
Safe HaskellNone
LanguageHaskell2010

CSPM.Assert

Description

 

Documentation

checkFileAsserts :: FilePath -> Bool -> IO [AssertResult] Source #

formatAssertResults :: [AssertResult] -> Doc Source #