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