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