moduleTop Level DefinitionsAlternativesExpressions
%covered / total%covered / total%covered / total
  module Attributes 100%19/19
100%7/7
100%76/76
  module Auto 100%8/8
100%10/10
92%46/50
  module Build_Tm 100%6/6
96%50/52
76%205/269
  module Build_itrm 100%19/19
94%90/95
93%412/439
  module Core_database 93%54/58
67%31/46
68%457/663
  module Core_datatype 50%9/18
- 0/0 - 0/0 
  module Dcore 100%5/5
75%6/8
89%58/65
  module DerivedRules 100%9/9
100%15/15
74%276/369
  module Display 100%25/25
47%24/51
48%170/350
  module Editor 100%4/4
71%5/7
38%29/75
  module Edlib 100%24/24
92%25/27
95%196/206
  module Getops 100%5/5
78%11/14
85%67/78
  module Globals 100%8/8
- 0/0 100%21/21
  module Goals 100%24/24
64%31/48
52%167/316
  module Kernel 100%90/90
89%185/207
74%1087/1454
  module Lookup - 0/0 - 0/0 - 0/0 
  module Main 100%10/10
50%5/10
34%77/225
  module Parse 100%46/46
59%108/182
49%712/1437
  module Sub_Core1 100%10/10
97%95/97
94%710/755
  module Sub_Core2 100%28/28
100%48/48
96%432/447
  module Sub_Core3 100%19/19
98%84/85
88%428/483
  module Sub_Core4 100%25/25
97%73/75
63%474/745
  module Tacticals 100%6/6
50%2/4
71%43/60
  module Tactics 100%13/13
100%12/12
85%197/231
  module Tags 100%8/8
- 0/0 100%64/64
  module ThmTactics 100%58/58
70%77/110
51%540/1042
  module Token 84%16/19
43%18/41
75%235/313
  module Tree 100%23/23
91%21/23
85%166/194
  module Type_defs 75%3/4
- 0/0 - 0/0 
  module Unparse 88%23/26
88%103/117
59%365/613
  module Vtslib 100%6/6
88%8/9
93%41/44
  module X_interface 100%80/80
54%24/44
71%381/531
  Program Coverage Total 97%683/703
80%1168/1444
70%8132/11615