| module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| % | covered / total | % | covered / total | % | covered / total | ||||||||||
| module Config | 100% | 59/59 | - | 0/0 | 93% | 84/90 | |||||||||
| module GenVal | 100% | 4/4 | 75% | 9/12 | 19% | 32/166 | |||||||||
| module Utils | 80% | 4/5 | 75% | 6/8 | 51% | 33/64 | |||||||||
| module Types | 36% | 8/22 | 47% | 19/40 | 27% | 86/309 | |||||||||
| module Env | 14% | 4/27 | 0% | 0/2 | 1% | 4/254 | |||||||||
| module GenType | 14% | 1/7 | 0% | 0/4 | 0% | 1/179 | |||||||||
| module GenExp | 2% | 1/39 | 0% | 0/18 | 0% | 1/522 | |||||||||
| Program Coverage Total | 49% | 81/163 | 40% | 34/84 | 15% | 241/1584 | |||||||||