moduleTop Level DefinitionsAlternativesExpressions
%covered / total%covered / total%covered / total
  module QRationals 65%19/29
62%5/8
64%131/204
  module ContinuedFractions 71%27/38
58%53/91
61%716/1161
  module Transcendentals 94%35/37
56%25/44
60%681/1123
  module Main 90%9/10
33%13/39
42%90/213
  module RealReals 6%4/62
5%4/78
6%54/805
  Program Coverage Total 53%94/176
38%100/260
47%1672/3506