| module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| % | covered / total | % | covered / total | % | covered / total | ||||||||||
| module IntLib | 87% | 7/8 | 20% | 2/10 | 42% | 50/118 | |||||||||
| module Main | 100% | 5/5 | 75% | 3/4 | 56% | 21/37 | |||||||||
| module MyRandom | 100% | 2/2 | 100% | 10/10 | 100% | 86/86 | |||||||||
| module Prime | 16% | 1/6 | 5% | 1/18 | 6% | 10/152 | |||||||||
| Program Coverage Total | 71% | 15/21 | 38% | 16/42 | 42% | 167/393 | |||||||||