| module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| % | covered / total | % | covered / total | % | covered / total | ||||||||||
| module Lisplikefns | 63% | 14/22 | 63% | 24/38 | 51% | 101/196 | |||||||||
| module Checker | 100% | 4/4 | 59% | 13/22 | 43% | 38/87 | |||||||||
| module Rewritefns | 62% | 5/8 | 53% | 14/26 | 42% | 56/133 | |||||||||
| module Rulebasetext | 100% | 1/1 | - | 0/0 | 0% | 1/107 | |||||||||
| Program Coverage Total | 68% | 24/35 | 59% | 51/86 | 37% | 196/523 | |||||||||