module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
% | covered / total | % | covered / total | % | covered / total | ||||||||||
module ContinuedFractions | 76% | 29/38 | 89% | 81/91 | 84% | 982/1161 | |||||||||
module Main | 90% | 9/10 | 33% | 13/39 | 43% | 92/213 | |||||||||
module QRationals | 65% | 19/29 | 75% | 6/8 | 66% | 135/204 | |||||||||
module RealReals | 6% | 4/62 | 7% | 6/78 | 7% | 64/805 | |||||||||
module Transcendentals | 100% | 37/37 | 93% | 41/44 | 94% | 1057/1123 | |||||||||
Program Coverage Total | 55% | 98/176 | 56% | 147/260 | 66% | 2330/3506 |