| module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| % | covered / total | % | covered / total | % | covered / total | ||||||||||
| module Checker | 100% | 4/4 | 50% | 11/22 | 41% | 36/87 | |||||||||
| module Lisplikefns | 72% | 16/22 | 68% | 26/38 | 52% | 102/196 | |||||||||
| module Rewritefns | 87% | 7/8 | 65% | 17/26 | 45% | 61/133 | |||||||||
| module Rulebasetext | 100% | 1/1 | - | 0/0 | 17% | 19/107 | |||||||||
| Program Coverage Total | 80% | 28/35 | 62% | 54/86 | 41% | 218/523 | |||||||||