module | Top Level Definitions | Alternatives | Expressions |
---|
% | covered / total | % | covered / total | % | covered / total |
---|
module GeomNum |
77% | 7/9 | | 100% | 7/7 | | 80% | 65/81 | |
module Rationals |
59% | 13/22 | | 100% | 12/12 | | 85% | 121/141 | |
module Stdlib |
100% | 13/13 | | 90% | 9/10 | | 75% | 69/91 | |
module Euclid |
50% | 15/30 | | 61% | 8/13 | | 55% | 110/199 | |
module Merge |
46% | 6/13 | | 60% | 14/23 | | 25% | 51/199 | |
module BSPT |
75% | 18/24 | | 57% | 24/42 | | 38% | 123/320 | |
module EuclidGMS |
87% | 14/16 | | 40% | 4/10 | | 72% | 98/136 | |
module Init |
62% | 17/27 | | 40% | 2/5 | | 14% | 37/262 | |
module MGRlib |
93% | 15/16 | | 33% | 2/6 | | 17% | 21/122 | |
module Render |
85% | 6/7 | | 33% | 2/6 | | 42% | 58/137 | |
module Interface |
20% | 1/5 | | 13% | 2/15 | | 4% | 6/138 | |
module Interpret |
20% | 1/5 | | 0% | 0/16 | | 0% | 1/125 | |
module Libfuns |
100% | 2/2 | | 0% | 0/2 | | 30% | 3/10 | |
module Prog |
100% | 1/1 | | 0% | 0/2 | | 22% | 4/18 | |
module Input |
100% | 29/29 | | - | 0/0 | | 3% | 29/922 | |
module Main |
100% | 1/1 | | - | 0/0 | | 20% | 1/5 | |
module Params |
96% | 51/53 | | - | 0/0 | | 35% | 65/185 | |
|
Program Coverage Total |
76% | 210/273 | | 50% | 86/169 | | 27% | 862/3091 | |