moduleTop Level DefinitionsAlternativesExpressions
%covered / total%covered / total%covered / total
  module Stdlib 100%13/13
90%9/10
75%69/91
  module Rationals 59%13/22
75%9/12
70%100/141
  module EuclidGMS 87%14/16
10%1/10
67%92/136
  module GeomNum 77%7/9
85%6/7
53%43/81
  module Euclid 50%15/30
53%7/13
49%99/199
  module BSPT 75%18/24
50%21/42
36%116/320
  module Render 85%6/7
33%2/6
36%50/137
  module Params 96%51/53
- 0/0 35%65/185
  module Libfuns 100%2/2
0%0/2
30%3/10
  module Merge 46%6/13
60%14/23
25%51/199
  module Prog 100%1/1
0%0/2
22%4/18
  module MGRlib 93%15/16
33%2/6
17%21/122
  module Init 62%17/27
40%2/5
14%37/262
  module Interface 20%1/5
13%2/15
4%6/138
  module Input 100%29/29
- 0/0 3%29/922
  module Interpret 20%1/5
0%0/16
0%1/125
  module Main 0%0/1
- 0/0 0%0/5
  Program Coverage Total 76%209/273
44%75/169
25%786/3091