| module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| % | covered / total | % | covered / total | % | covered / total | ||||||||||
| module CharSeq | 100% | 10/10 | 92% | 13/14 | 92% | 81/88 | |||||||||
| module Pretty | 96% | 27/28 | 53% | 17/32 | 40% | 110/275 | |||||||||
| module Main | 100% | 1/1 | - | 0/0 | 3% | 1/31 | |||||||||
| Program Coverage Total | 97% | 38/39 | 65% | 30/46 | 48% | 192/394 | |||||||||