Documentation

checker :: AnalysisSpec -> Parameters -> Checker Source #

optionalChecks :: [CheckDescription] Source #

runTests :: IO Bool Source #