| module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| % | covered / total | % | covered / total | % | covered / total | ||||||||||
| module Arch_x86 | 14% | 2/14 | - | 0/0 | 93% | 1128/1202 | |||||||||
| module Generics | 87% | 36/41 | 92% | 35/38 | 94% | 199/211 | |||||||||
| Program Coverage Total | 69% | 38/55 | 92% | 35/38 | 93% | 1327/1413 | |||||||||