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 | 50% | 11/22 | 70% | 28/40 | 59% | 185/309 | |||||||||
module Utils | 80% | 4/5 | 87% | 7/8 | 76% | 49/64 | |||||||||
Program Coverage Total | 51% | 84/163 | 52% | 44/84 | 22% | 362/1584 |