module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
% | covered / total | % | covered / total | % | covered / total | ||||||||||
module CharSeq | 100% | 10/10 | 92% | 13/14 | 89% | 79/88 | |||||||||
module Pretty | 100% | 28/28 | 62% | 20/32 | 46% | 129/275 | |||||||||
module Main | 100% | 1/1 | - | 0/0 | 3% | 1/31 | |||||||||
Program Coverage Total | 100% | 39/39 | 71% | 33/46 | 53% | 209/394 |