| module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| % | covered / total | % | covered / total | % | covered / total | ||||||||||
| module Config | 100% | 59/59 | - | 0/0 | 100% | 90/90 | |||||||||
| module Env | 14% | 4/27 | 0% | 0/2 | 1% | 4/254 | |||||||||
| module GenExp | 2% | 1/39 | 0% | 0/18 | 0% | 1/522 | |||||||||
| module GenType | 14% | 1/7 | 0% | 0/4 | 0% | 1/179 | |||||||||
| module GenVal | 100% | 4/4 | 75% | 9/12 | 19% | 32/166 | |||||||||
| module Types | 36% | 8/22 | 50% | 20/40 | 51% | 158/309 | |||||||||
| module Utils | 80% | 4/5 | 87% | 7/8 | 76% | 49/64 | |||||||||
| Program Coverage Total | 49% | 81/163 | 42% | 36/84 | 21% | 335/1584 | |||||||||