| module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| % | covered / total | % | covered / total | % | covered / total | ||||||||||
| module Main | 100% | 5/5 | 75% | 3/4 | 56% | 21/37 | |||||||||
| module MyRandom | 100% | 2/2 | 100% | 10/10 | 100% | 86/86 | |||||||||
| module IntLib | 87% | 7/8 | 80% | 8/10 | 62% | 74/118 | |||||||||
| module Prime | 16% | 1/6 | 5% | 1/18 | 6% | 10/152 | |||||||||
| Program Coverage Total | 71% | 15/21 | 52% | 22/42 | 48% | 191/393 | |||||||||