| module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| % | covered / total | % | covered / total | % | covered / total | ||||||||||
| module Encode | 60% | 9/15 | 38% | 10/26 | 43% | 128/294 | |||||||||
| module WriteRoutines | 100% | 9/9 | 73% | 11/15 | 93% | 187/200 | |||||||||
| Program Coverage Total | 75% | 18/24 | 51% | 21/41 | 63% | 315/494 | |||||||||