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