CurryInfo: contract-prover-4.0.0 / VerifierState.showStats
definition: 
|
showStats :: VState -> String
showStats vst =
showStat "PRECONDITIONS : VERIFIED " (vPreCond vst) ++
showStat "PRECONDITIONS : UNVERIFIED" (uPreCond vst) ++
showStat "POSTCONDITIONS: VERIFIED " (vPostCond vst) ++
showStat "POSTCONDITIONS: UNVERIFIED" (uPostCond vst) ++
(if null (uPreCond vst ++ uPostCond vst)
then "\nALL CONTRACTS VERIFIED!"
else "")
where
showStat t fs = if null fs then "" else "\n" ++ t ++ ": " ++ unwords fs
|
|
demand:
|
argument 1 |
|
deterministic:
|
deterministic operation |
|
documentation:
|
Shows the statistics in human-readable format. |
|
failfree:
|
_ |
|
indeterministic:
|
referentially transparent operation |
|
infix:
|
no fixity defined |
|
iotype:
|
{(_) |-> _}
|
|
name:
|
showStats |
|
precedence:
|
no precedence defined |
|
result-values:
|
_ |
|
signature:
|
VState -> String |
|
solution-complete:
|
operation might suspend on free variables |
|
terminating:
|
yes |
|
totally-defined:
|
possibly non-reducible on same data term |