moduleTop Level DefinitionsAlternativesExpressions
%covered / total%covered / total%covered / total
  module Generics 73%30/41
36%14/38
31%67/211
  module Arch_x86 14%2/14
- 0/0 0%2/1202
  Program Coverage Total 58%32/55
36%14/38
4%69/1413