moduleTop Level DefinitionsAlternativesExpressions
%covered / total%covered / total%covered / total
  module Drawfuns 100%11/11
100%5/5
39%54/136
  module Geomfuns 93%15/16
100%7/7
24%39/159
  module Interstate 100%1/1
100%2/2
88%15/17
  module Rational 100%10/10
90%10/11
61%72/117
  module Tilefuns 75%18/24
61%19/31
33%77/231
  module Layout 79%58/73
42%8/19
34%209/611
  module Diff 100%3/3
37%3/8
50%23/46
  module Auxprogfuns 58%14/24
29%9/31
21%91/419
  module Progfuns 17%4/23
4%4/86
1%14/754
  module Mgrfuns 100%28/28
0%0/4
23%30/126
  module Psfuns 66%6/9
0%0/2
15%15/100
  module Help 94%18/19
0/0 19%36/185
  Program Coverage Total 77%186/241
32%67/206
23%675/2901