moduleTop Level DefinitionsAlternativesExpressions
%covered / total%covered / total%covered / total
  module BackwardS 66%2/3
100%2/2
10%17/169
  module FAdet 100%6/6
100%2/2
93%128/137
  module FArquotient 100%2/2
100%2/2
13%17/130
  module ForwardS 50%2/4
100%2/2
9%17/173
  module Instance 100%3/3
100%4/4
61%40/65
  module Prec 100%3/3
100%18/18
93%138/147
  module SaturnS 80%4/5
100%2/2
31%93/298
  module Set 90%18/20
100%2/2
90%72/80
  module WrapSubtrans 100%1/1
100%2/2
22%14/61
  module CharSeq 100%14/14
94%16/17
93%107/114
  module Cross 100%8/8
94%18/19
99%109/110
  module Stuff 100%15/15
92%24/26
89%145/162
  module IdStack 83%10/12
90%9/10
84%93/110
  module PrettyClass 60%14/23
90%10/11
58%120/205
  module Maybes 100%18/18
79%31/39
73%87/119
  module Syntax 86%25/29
77%38/49
70%205/290
  module FiniteMap 92%36/39
73%60/82
75%480/640
  module Parse 88%31/35
68%62/91
57%364/632
  module Options 78%11/14
62%5/8
81%80/98
  module Ids 92%35/38
61%24/39
68%277/407
  module Sorters 71%15/21
54%27/50
44%106/237
  module Semantik 64%11/17
52%10/19
28%80/278
  module ExpParse 91%21/23
50%7/14
54%255/469
  module FAcheat 100%1/1
50%2/4
82%19/23
  module FAstar 100%2/2
50%2/4
19%16/81
  module FAtimes 100%2/2
50%2/4
22%16/71
  module FAuseful 100%4/4
50%1/2
55%61/109
  module Pretty 90%36/40
47%23/48
48%242/496
  module Heuristic 100%4/4
37%3/8
51%35/68
  module FAlquotient 100%2/2
33%2/6
16%17/106
  module Lex 83%5/6
28%7/25
53%58/108
  module CBackwardS 50%2/4
25%2/8
6%15/232
  module CForwardS 50%2/4
25%2/8
6%15/220
  module FA2Exp 71%5/7
22%2/9
24%46/186
  module Gram2FA 33%3/9
22%2/9
13%37/274
  module FAhom 100%2/2
16%1/6
36%34/92
  module FAconv 100%7/7
0%0/2
82%65/79
  module FAmin 71%5/7
0%0/6
30%42/138
  module FAunify 100%1/1
0%0/2
28%11/38
  module Gen 100%3/3
0%0/2
53%28/52
  module Heave 0%0/9
0%0/36
0%0/451
  module Loop 0%0/1
0%0/8
0%0/89
  module Command 25%2/8
- 0/0 28%33/117
  module Defaults 100%1/1
- 0/0 72%49/68
  module Exp2FA 100%1/1
- 0/0 86%43/50
  module FA 100%6/6
- 0/0 55%127/228
  module FAcmpct 100%2/2
- 0/0 71%23/32
  module FAcon 100%1/1
- 0/0 89%61/68
  module FAintersect 100%1/1
- 0/0 7%7/97
  module FAkeepcons 100%2/2
- 0/0 82%39/47
  module FAkeepst 66%2/3
- 0/0 48%36/75
  module FAmap 100%2/2
- 0/0 82%61/74
  module FAminus 100%1/1
- 0/0 38%8/21
  module FAneg 100%1/1
- 0/0 14%8/56
  module FAsubtrans 100%1/1
- 0/0 50%74/146
  module FAtypes 16%3/18
- 0/0 21%8/38
  module FAunion 100%1/1
- 0/0 16%9/56
  module Grammar - 0/0 - 0/0 - 0/0 
  module Main 0%0/2
- 0/0 0%0/17
  module PI 96%28/29
- 0/0 87%210/241
  module Reader 100%1/1
- 0/0 91%11/12
  module Reuse 100%2/2
- 0/0 60%42/70
  module State 50%3/6
- 0/0 46%24/52
  module TA 92%13/14
- 0/0 100%28/28
  module Trace 100%1/1
- 0/0 100%1/1
  Program Coverage Total 81%466/572
60%428/707
48%4703/9638