| module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| % | covered / total | % | covered / total | % | covered / total | ||||||||||
| module ContinuedFractions | 71% | 27/38 | 58% | 53/91 | 60% | 701/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 | 5% | 4/78 | 7% | 58/805 | |||||||||
| module Transcendentals | 97% | 36/37 | 63% | 28/44 | 71% | 801/1123 | |||||||||
| Program Coverage Total | 53% | 95/176 | 40% | 104/260 | 50% | 1787/3506 | |||||||||