moduleTop Level DefinitionsAlternativesExpressions
%covered / total%covered / total%covered / total
  module Attributes 100%19/19
100%7/7
42%32/76
  module Auto 100%8/8
100%10/10
28%14/50
  module Sub_Core2 100%28/28
100%48/48
64%290/447
  module Sub_Core4 100%25/25
89%67/75
22%168/745
  module Build_Tm 100%6/6
88%46/52
65%176/269
  module Build_itrm 100%19/19
88%84/95
31%140/439
  module Sub_Core1 100%10/10
88%86/97
59%449/755
  module Sub_Core3 94%18/19
88%75/85
53%257/483
  module Vtslib 100%6/6
88%8/9
72%32/44
  module Tactics 100%13/13
83%10/12
10%25/231
  module Getops 100%5/5
78%11/14
35%28/78
  module Kernel 100%90/90
78%162/207
36%537/1454
  module Editor 100%4/4
71%5/7
33%25/75
  module Unparse 80%21/26
69%81/117
37%231/613
  module Core_database 86%50/58
67%31/46
21%141/663
  module Tree 100%23/23
65%15/23
41%80/194
  module ThmTactics 100%58/58
54%60/110
14%150/1042
  module Edlib 100%24/24
51%14/27
33%69/206
  module Dcore 100%5/5
50%4/8
38%25/65
  module Tacticals 100%6/6
50%2/4
35%21/60
  module Parse 100%46/46
48%88/182
30%438/1437
  module Goals 100%24/24
47%23/48
22%71/316
  module X_interface 100%80/80
43%19/44
30%162/531
  module Display 100%25/25
39%20/51
18%66/350
  module Token 78%15/19
36%15/41
68%215/313
  module Main 100%10/10
20%2/10
9%22/225
  module DerivedRules 100%9/9
0%0/15
45%168/369
  module Core_datatype 50%9/18
- 0/0 - 0/0 
  module Globals 100%8/8
- 0/0 38%8/21
  module Lookup - 0/0 - 0/0 - 0/0 
  module Tags 100%8/8
- 0/0 46%30/64
  module Type_defs 75%3/4
- 0/0 - 0/0 
  Program Coverage Total 96%675/703
68%993/1444
35%4070/11615