moduleTop Level DefinitionsAlternativesExpressions
%covered / total%covered / total%covered / total
  module Attributes 100%19/19
100%7/7
44%34/76
  module Auto 100%8/8
100%10/10
28%14/50
  module Build_Tm 100%6/6
94%49/52
69%188/269
  module Build_itrm 100%19/19
89%85/95
38%171/439
  module Core_database 86%50/58
67%31/46
21%141/663
  module Core_datatype 50%9/18
- 0/0 - 0/0 
  module Dcore 100%5/5
50%4/8
38%25/65
  module DerivedRules 100%9/9
0%0/15
45%168/369
  module Display 100%25/25
39%20/51
18%66/350
  module Editor 100%4/4
71%5/7
33%25/75
  module Edlib 100%24/24
51%14/27
33%69/206
  module Getops 100%5/5
78%11/14
35%28/78
  module Globals 100%8/8
- 0/0 38%8/21
  module Goals 100%24/24
47%23/48
22%71/316
  module Kernel 100%90/90
88%183/207
44%649/1454
  module Lookup - 0/0 - 0/0 - 0/0 
  module Main 100%10/10
20%2/10
9%22/225
  module Parse 100%46/46
59%108/182
41%602/1437
  module Sub_Core1 100%10/10
88%86/97
63%481/755
  module Sub_Core2 100%28/28
100%48/48
70%314/447
  module Sub_Core3 94%18/19
89%76/85
60%294/483
  module Sub_Core4 100%25/25
89%67/75
23%174/745
  module Tacticals 100%6/6
50%2/4
35%21/60
  module Tactics 100%13/13
83%10/12
10%25/231
  module Tags 100%8/8
- 0/0 46%30/64
  module ThmTactics 100%58/58
66%73/110
17%182/1042
  module Token 84%16/19
41%17/41
72%228/313
  module Tree 100%23/23
65%15/23
41%80/194
  module Type_defs 75%3/4
- 0/0 - 0/0 
  module Unparse 80%21/26
74%87/117
40%249/613
  module Vtslib 100%6/6
88%8/9
72%32/44
  module X_interface 100%80/80
43%19/44
30%162/531
  Program Coverage Total 96%676/703
73%1060/1444
39%4553/11615