| 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 | 85% | 6/7 | 50% | 5/10 | 34% | 31/89 | |||||||||
| module Decode | 52% | 9/17 | 56% | 14/25 | 36% | 67/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 | 71% | 32/45 | 59% | 29/49 | 68% | 505/736 | |||||||||