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
94%49/52
73%199/269
  module Build_itrm 100%19/19
93%89/95
87%386/439
  module Core_database 93%54/58
67%31/46
67%445/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
70%261/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
92%25/27
95%196/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
60%29/48
50%159/316
  module Kernel 100%90/90
83%172/207
64%941/1454
  module Lookup - 0/0 - 0/0 - 0/0 
  module Main 100%10/10
50%5/10
32%74/225
  module Parse 100%46/46
59%108/182
49%711/1437
  module Sub_Core1 100%10/10
93%91/97
86%654/755
  module Sub_Core2 100%28/28
100%48/48
93%419/447
  module Sub_Core3 100%19/19
98%84/85
81%396/483
  module Sub_Core4 100%25/25
94%71/75
57%432/745
  module Tacticals 100%6/6
50%2/4
53%32/60
  module Tactics 100%13/13
100%12/12
70%163/231
  module Tags 100%8/8
- 0/0 98%63/64
  module ThmTactics 100%58/58
65%72/110
44%462/1042
  module Token 84%16/19
41%17/41
72%228/313
  module Tree 100%23/23
91%21/23
83%162/194
  module Type_defs 75%3/4
- 0/0 - 0/0 
  module Unparse 88%23/26
85%100/117
54%333/613
  module Vtslib 100%6/6
88%8/9
93%41/44
  module X_interface 100%80/80
54%24/44
70%375/531
  Program Coverage Total 97%683/703
78%1136/1444
65%7586/11615