moduleTop Level DefinitionsAlternativesExpressions
%covered / total%covered / total%covered / total
  module Main 96%119/123
48%12/25
57%1841/3220
  Program Coverage Total 96%119/123
48%12/25
57%1841/3220