| module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| % | covered / total | % | covered / total | % | covered / total | ||||||||||
| module Auxil | 100% | 21/21 | 100% | 22/22 | 99% | 186/187 | |||||||||
| module Interval | 100% | 3/3 | - | 0/0 | 100% | 3/3 | |||||||||
| module Key | 100% | 1/1 | - | 0/0 | 100% | 23/23 | |||||||||
| module Main | 100% | 1/1 | - | 0/0 | 20% | 1/5 | |||||||||
| module Prog | 87% | 7/8 | 70% | 14/20 | 73% | 125/170 | |||||||||
| Program Coverage Total | 97% | 33/34 | 85% | 36/42 | 87% | 338/388 | |||||||||