module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
% | 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 |