| module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| % | covered / total | % | covered / total | % | covered / total | ||||||||||
| module Defaults | 100% | 4/4 | - | 0/0 | 100% | 6/6 | |||||||||
| module Encode | 100% | 10/10 | 87% | 7/8 | 98% | 372/378 | |||||||||
| module PTTrees | 100% | 1/1 | 75% | 3/4 | 84% | 27/32 | |||||||||
| module BinConv | 100% | 7/7 | 90% | 9/10 | 78% | 70/89 | |||||||||
| module Decode | 64% | 11/17 | 68% | 17/25 | 55% | 101/182 | |||||||||
| module Uncompress | 50% | 1/2 | - | 0/0 | 8% | 1/12 | |||||||||
| module BinTest | 25% | 1/4 | 0% | 0/2 | 2% | 1/37 | |||||||||
| Program Coverage Total | 77% | 35/45 | 73% | 36/49 | 78% | 578/736 | |||||||||