| definition: |
showFailfreeStats :: VState -> String
showFailfreeStats vstate = unlines $
[ "TESTED OPERATIONS : " ++ show (numAllFuncs vstate)
, "NONFAIL CONDITIONS : " ++ show (numNFCFuncs vstate)
, "TESTS OF MISSING PATTERNS: " ++ show (numPatTests vstate)
, "TESTS OF NON-FAIL CALLS : " ++ show (numFailTests vstate) ] ++
showStat "POSSIBLY FAILING OPERATIONS" (failedFuncs vstate) ++
if isVerifiedFailfree vstate
then ["NON-FAILURE VERIFICATION SUCCESSFUL!"]
else []
where
showStat t fs =
if null fs
then []
else (t ++ ":") :
map (\ (fn,reason) -> fn ++ " (" ++ reason ++ ")")
(reverse fs)
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
--------------------------------------------------------------------------- --- Shows the statistics for the failfree verification in human-readable --- format. |
| failfree: |
_ |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_) |-> _}
|
| name: |
showFailfreeStats |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
VState -> String |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |