moduleTop Level DefinitionsAlternativesExpressions
%covered / total%covered / total%covered / total
  module Input 100%29/29
0/0 97%895/922
  module Libfuns 100%2/2
0%0/2
30%3/10
  module MGRlib 100%16/16
83%5/6
96%118/122
  module Main 100%1/1
0/0 20%1/5
  module Prog 100%1/1
0%0/2
27%5/18
  module Render 100%7/7
66%4/6
67%92/137
  module Stdlib 100%13/13
90%9/10
87%80/91
  module Params 98%52/53
0/0 100%185/185
  module Init 92%25/27
80%4/5
77%203/262
  module BSPT 91%22/24
73%31/42
71%229/320
  module GeomNum 88%8/9
100%7/7
95%77/81
  module EuclidGMS 87%14/16
40%4/10
80%110/136
  module Interpret 60%3/5
12%2/16
17%22/125
  module Rationals 59%13/22
100%12/12
85%121/141
  module Euclid 50%15/30
61%8/13
64%129/199
  module Merge 46%6/13
60%14/23
27%55/199
  module Interface 20%1/5
13%2/15
4%6/138
  Program Coverage Total 83%228/273
60%102/169
75%2331/3091