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

PortabilityGHC-only
Stabilityexperimental
Maintainerfontaine@cs.uni-duesseldorf.de
Safe HaskellSafe-Infered

CSPM.Assert

Description

 

Documentation

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

formatAssertResults :: [AssertResult] -> DocSource