| module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| % | covered / total | % | covered / total | % | covered / total | ||||||||||
| module Encode | 100% | 10/10 | 87% | 7/8 | 84% | 321/378 | |||||||||
| module PTTrees | 100% | 1/1 | 75% | 3/4 | 75% | 24/32 | |||||||||
| module BinConv | 71% | 5/7 | 30% | 3/10 | 20% | 18/89 | |||||||||
| module Decode | 11% | 2/17 | 12% | 3/25 | 2% | 4/182 | |||||||||
| module BinTest | 25% | 1/4 | 0% | 0/2 | 2% | 1/37 | |||||||||
| module Defaults | 100% | 4/4 | - | 0/0 | 100% | 6/6 | |||||||||
| module Uncompress | 50% | 1/2 | - | 0/0 | 8% | 1/12 | |||||||||
| Program Coverage Total | 53% | 24/45 | 32% | 16/49 | 50% | 375/736 | |||||||||