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
88%46/52
68%184/269
  module Build_itrm 100%19/19
90%86/95
74%326/439
  module Dcore 100%5/5
75%6/8
89%58/65
  module DerivedRules 100%9/9
86%13/15
66%245/369
  module Display 100%25/25
47%24/51
45%158/350
  module Editor 100%4/4
71%5/7
38%29/75
  module Edlib 100%24/24
88%24/27
94%194/206
  module Getops 100%5/5
78%11/14
84%66/78
  module Globals 100%8/8
- 0/0 100%21/21
  module Goals 100%24/24
56%27/48
42%133/316
  module Kernel 100%90/90
71%147/207
47%696/1454
  module Main 100%10/10
50%5/10
30%68/225
  module Parse 100%46/46
48%88/182
36%529/1437
  module Sub_Core1 100%10/10
86%84/97
78%590/755
  module Sub_Core2 100%28/28
97%47/48
89%398/447
  module Sub_Core4 100%25/25
90%68/75
49%367/745
  module Tacticals 100%6/6
50%2/4
53%32/60
  module Tactics 100%13/13
100%12/12
59%138/231
  module Tags 100%8/8
- 0/0 95%61/64
  module ThmTactics 100%58/58
46%51/110
31%325/1042
  module Tree 100%23/23
91%21/23
78%153/194
  module Vtslib 100%6/6
88%8/9
93%41/44
  module X_interface 100%80/80
54%24/44
66%353/531
  module Sub_Core3 94%18/19
77%66/85
47%230/483
  module Core_database 93%54/58
67%31/46
64%426/663
  module Unparse 88%23/26
77%91/117
48%300/613
  module Token 78%15/19
36%15/41
68%215/313
  module Type_defs 75%3/4
- 0/0 - 0/0 
  module Core_datatype 50%9/18
- 0/0 - 0/0 
  module Lookup - 0/0 - 0/0 - 0/0 
  Program Coverage Total 96%681/703
70%1019/1444
55%6458/11615