module | Top Level Definitions | Alternatives | Expressions |
---|
% | covered / total | % | covered / total | % | covered / total |
---|
module BSPT |
91% | 22/24 | | 66% | 28/42 | | 68% | 218/320 | |
module Euclid |
50% | 15/30 | | 61% | 8/13 | | 63% | 126/199 | |
module EuclidGMS |
87% | 14/16 | | 10% | 1/10 | | 77% | 105/136 | |
module GeomNum |
88% | 8/9 | | 100% | 7/7 | | 95% | 77/81 | |
module Init |
92% | 25/27 | | 80% | 4/5 | | 62% | 163/262 | |
module Input |
100% | 29/29 | | - | 0/0 | | 94% | 869/922 | |
module Interface |
20% | 1/5 | | 13% | 2/15 | | 4% | 6/138 | |
module Interpret |
60% | 3/5 | | 12% | 2/16 | | 17% | 22/125 | |
module Libfuns |
100% | 2/2 | | 0% | 0/2 | | 30% | 3/10 | |
module MGRlib |
100% | 16/16 | | 83% | 5/6 | | 90% | 110/122 | |
module Main |
100% | 1/1 | | - | 0/0 | | 20% | 1/5 | |
module Merge |
46% | 6/13 | | 60% | 14/23 | | 27% | 55/199 | |
module Params |
98% | 52/53 | | - | 0/0 | | 100% | 185/185 | |
module Prog |
100% | 1/1 | | 0% | 0/2 | | 27% | 5/18 | |
module Rationals |
59% | 13/22 | | 75% | 9/12 | | 75% | 107/141 | |
module Render |
100% | 7/7 | | 66% | 4/6 | | 67% | 92/137 | |
module Stdlib |
100% | 13/13 | | 90% | 9/10 | | 87% | 80/91 | |
|
Program Coverage Total |
83% | 228/273 | | 55% | 93/169 | | 71% | 2224/3091 | |