| module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| % | covered / total | % | covered / total | % | covered / total | ||||||||||
| module Interval | 100% | 3/3 | - | 0/0 | 100% | 3/3 | |||||||||
| module Key | 100% | 1/1 | - | 0/0 | 100% | 23/23 | |||||||||
| module Auxil | 100% | 21/21 | 100% | 22/22 | 97% | 182/187 | |||||||||
| module Prog | 87% | 7/8 | 55% | 11/20 | 53% | 91/170 | |||||||||
| module Main | 100% | 1/1 | - | 0/0 | 20% | 1/5 | |||||||||
| Program Coverage Total | 97% | 33/34 | 78% | 33/42 | 77% | 300/388 | |||||||||