| 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 | 40% | 15/37 | |||||||||
| module MyRandom | 100% | 2/2 | 80% | 8/10 | 81% | 70/86 | |||||||||
| module Prime | 16% | 1/6 | 5% | 1/18 | 5% | 9/152 | |||||||||
| Program Coverage Total | 71% | 15/21 | 33% | 14/42 | 36% | 144/393 | |||||||||