| module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| % | covered / total | % | covered / total | % | covered / total | ||||||||||
| module Rational | 100% | 10/10 | 100% | 11/11 | 96% | 113/117 | |||||||||
| module Interstate | 100% | 1/1 | 100% | 2/2 | 88% | 15/17 | |||||||||
| module Auxprogfuns | 62% | 15/24 | 41% | 13/31 | 50% | 211/419 | |||||||||
| module Diff | 100% | 3/3 | 37% | 3/8 | 50% | 23/46 | |||||||||
| module Drawfuns | 100% | 11/11 | 100% | 5/5 | 39% | 54/136 | |||||||||
| module Geomfuns | 93% | 15/16 | 100% | 7/7 | 39% | 63/159 | |||||||||
| module Layout | 79% | 58/73 | 42% | 8/19 | 35% | 216/611 | |||||||||
| module Tilefuns | 75% | 18/24 | 61% | 19/31 | 33% | 77/231 | |||||||||
| module Mgrfuns | 100% | 28/28 | 0% | 0/4 | 23% | 30/126 | |||||||||
| module Help | 94% | 18/19 | - | 0/0 | 19% | 36/185 | |||||||||
| module Psfuns | 66% | 6/9 | 0% | 0/2 | 15% | 15/100 | |||||||||
| module Progfuns | 17% | 4/23 | 4% | 4/86 | 1% | 14/754 | |||||||||
| Program Coverage Total | 77% | 187/241 | 34% | 72/206 | 29% | 867/2901 | |||||||||