| module | Top Level Definitions | Alternatives | Expressions | 
|---|
| % | covered / total | % | covered / total | % | covered / total | 
|---|
| module Params | 96% | 51/53 |  | - | 0/0 |  | 98% | 182/185 |  | 
| module GeomNum | 88% | 8/9 |  | 100% | 7/7 |  | 90% | 73/81 |  | 
| module Stdlib | 100% | 13/13 |  | 90% | 9/10 |  | 87% | 80/91 |  | 
| module MGRlib | 100% | 16/16 |  | 83% | 5/6 |  | 77% | 94/122 |  | 
| module EuclidGMS | 87% | 14/16 |  | 10% | 1/10 |  | 73% | 100/136 |  | 
| module Rationals | 59% | 13/22 |  | 58% | 7/12 |  | 65% | 93/141 |  | 
| module Render | 100% | 7/7 |  | 66% | 4/6 |  | 56% | 77/137 |  | 
| module BSPT | 87% | 21/24 |  | 59% | 25/42 |  | 55% | 179/320 |  | 
| module Euclid | 46% | 14/30 |  | 61% | 8/13 |  | 49% | 99/199 |  | 
| module Libfuns | 100% | 2/2 |  | 0% | 0/2 |  | 30% | 3/10 |  | 
| module Init | 66% | 18/27 |  | 40% | 2/5 |  | 26% | 69/262 |  | 
| module Input | 100% | 29/29 |  | - | 0/0 |  | 24% | 222/922 |  | 
| module Merge | 46% | 6/13 |  | 56% | 13/23 |  | 24% | 48/199 |  | 
| module Prog | 100% | 1/1 |  | 0% | 0/2 |  | 22% | 4/18 |  | 
| module Main | 100% | 1/1 |  | - | 0/0 |  | 20% | 1/5 |  | 
| module Interpret | 60% | 3/5 |  | 12% | 2/16 |  | 17% | 22/125 |  | 
| module Interface | 20% | 1/5 |  | 13% | 2/15 |  | 4% | 6/138 |  | 
|
| Program Coverage Total | 79% | 218/273 |  | 50% | 85/169 |  | 43% | 1352/3091 |  |