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
58%38/65
  module Prec 100%3/3
100%18/18
91%134/147
  module SaturnS 80%4/5
100%2/2
28%86/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
92%106/114
  module Cross 100%8/8
94%18/19
99%109/110
  module Stuff 100%15/15
92%24/26
88%143/162
  module IdStack 83%10/12
90%9/10
76%84/110
  module PrettyClass 60%14/23
90%10/11
56%115/205
  module Maybes 100%18/18
79%31/39
73%87/119
  module FiniteMap 84%33/39
68%56/82
68%437/640
  module Syntax 79%23/29
65%32/49
51%150/290
  module Options 78%11/14
62%5/8
81%80/98
  module Sorters 71%15/21
54%27/50
44%106/237
  module Ids 92%35/38
53%21/39
58%239/407
  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
52%57/109
  module Pretty 90%36/40
45%22/48
43%218/496
  module Parse 80%28/35
39%36/91
35%224/632
  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 Gram2FA 33%3/9
22%2/9
13%37/274
  module FAhom 100%2/2
16%1/6
34%32/92
  module FA2Exp 57%4/7
11%1/9
16%30/186
  module FAconv 100%7/7
0%0/2
73%58/79
  module FAmin 28%2/7
0%0/6
5%8/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 44%102/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 72%34/47
  module FAkeepst 66%2/3
- 0/0 46%35/75
  module FAmap 100%2/2
- 0/0 77%57/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 78%190/241
  module Reader 100%1/1
- 0/0 91%11/12
  module Reuse 100%2/2
- 0/0 57%40/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 79%454/572
54%387/707
44%4253/9638