| module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| % | covered / total | % | covered / total | % | covered / total | ||||||||||
| module Generics | 73% | 30/41 | 36% | 14/38 | 32% | 69/211 | |||||||||
| module Arch_x86 | 14% | 2/14 | - | 0/0 | 13% | 162/1202 | |||||||||
| Program Coverage Total | 58% | 32/55 | 36% | 14/38 | 16% | 231/1413 | |||||||||