| 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 | 66% | 10/15 | 91% | 183/200 | |||||||||
| Program Coverage Total | 75% | 18/24 | 48% | 20/41 | 62% | 311/494 | |||||||||