| module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| % | covered / total | % | covered / total | % | covered / total | ||||||||||
| module Checker | 100% | 4/4 | 59% | 13/22 | 43% | 38/87 | |||||||||
| module Rewritefns | 100% | 8/8 | 96% | 25/26 | 90% | 120/133 | |||||||||
| module Rulebasetext | 100% | 1/1 | - | 0/0 | 60% | 65/107 | |||||||||
| module Lisplikefns | 72% | 16/22 | 71% | 27/38 | 76% | 149/196 | |||||||||
| Program Coverage Total | 82% | 29/35 | 75% | 65/86 | 71% | 372/523 | |||||||||