module
Top Level Definitions
Alternatives
Expressions
%
covered / total
%
covered / total
%
covered / total
module
conjure-cp/Conjure.Language.Expression.Op.Div
26%
18/69
100%
2/2
48%
21/43
module
conjure-cp/Conjure.Language.Expression.Op.Eq
30%
21/69
100%
3/3
55%
30/54
module
conjure-cp/Conjure.Language.NameGen
52%
26/50
100%
4/4
63%
93/147
module
conjure-cp/Conjure.Process.DealWithCuts
100%
1/1
100%
6/6
98%
86/87
module
conjure-cp/Conjure.Process.Unnameds
100%
1/1
100%
2/2
100%
29/29
module
conjure-cp/Conjure.Representations.Internal
100%
8/8
100%
2/2
100%
39/39
module
conjure-cp/Conjure.Rules.Vertical.Function.Function1D
100%
3/3
100%
10/10
95%
151/158
module
conjure-cp/Conjure.Rules.Vertical.MSet.ExplicitWithRepetition
100%
1/1
100%
4/4
97%
69/71
module
conjure-cp/Conjure.Rules.Vertical.Partition.Occurrence
100%
1/1
100%
4/4
97%
97/99
module
conjure-cp/Conjure.Rules.Vertical.Partition.PartitionAsSet
100%
1/1
100%
4/4
96%
61/63
module
conjure-cp/Conjure.Rules.Vertical.Relation.RelationAsMatrix
100%
2/2
100%
4/4
97%
117/120
module
conjure-cp/Conjure.Rules.Vertical.Set.ExplicitVarSizeWithDummy
100%
2/2
100%
8/8
97%
205/211
module
conjure-cp/Conjure.Rules.Vertical.Set.ExplicitVarSizeWithFlags
100%
2/2
100%
8/8
96%
183/189
module
conjure-cp/Conjure.Rules.Vertical.Set.ExplicitVarSizeWithMarker
100%
3/3
100%
8/8
96%
203/210
module
conjure-cp/Conjure.Rules.Vertical.Set.Occurrence
100%
3/3
100%
10/10
97%
191/196
module
conjure-cp-2.6.0-AT44nioYOwD2qXowH7KxK-conjure-testing/Conjure.Custom
33%
3/9
100%
8/8
77%
153/197
module
conjure-cp/Conjure.Rules.Horizontal.Partition
100%
9/9
95%
21/22
93%
491/527
module
conjure-cp/Conjure.Rules.Vertical.Function.Function1DPartial
100%
6/6
95%
23/24
58%
229/394
module
conjure-cp/Conjure.Language.AST.Helpers
100%
25/25
92%
24/26
93%
254/272
module
conjure-cp/Conjure.Language.AST.Reformer
50%
69/138
92%
108/117
89%
764/855
module
conjure-cp/Conjure.Rules.Horizontal.Relation
100%
13/13
92%
26/28
58%
388/659
module
conjure-cp/Conjure.Rules.Vertical.Function.FunctionND
100%
3/3
92%
12/13
91%
167/183
module
conjure-cp/Conjure.Process.LettingsForComplexInDoms
100%
3/3
89%
17/19
89%
140/157
module
conjure-cp/Conjure.Process.Sanity
100%
3/3
89%
53/59
73%
310/421
module
conjure-cp/Conjure.Rules.Vertical.Function.FunctionNDPartialDummy
100%
3/3
89%
17/19
96%
211/219
module
conjure-cp/Conjure.Representations.Primitive
100%
1/1
87%
7/8
80%
54/67
module
conjure-cp/Conjure.Rules.Vertical.Relation.RelationAsSet
100%
4/4
87%
14/16
73%
152/207
module
conjure-cp/Conjure.Language.Expression.Op.Flatten
22%
15/68
85%
12/14
56%
58/102
module
conjure-cp/Conjure.Language.Expression.Op.ToSet
22%
15/68
85%
6/7
50%
35/69
module
conjure-cp/Conjure.Rules.Vertical.Set.Explicit
100%
6/6
85%
17/20
87%
322/366
module
conjure-cp/Conjure.Language.AST.ASTParser
92%
75/81
84%
37/44
93%
1558/1668
module
conjure-cp/Conjure.Rules.Vertical.MSet.ExplicitWithFlags
100%
2/2
83%
5/6
80%
131/162
module
conjure-cp/Conjure.Rules.Vertical.MSet.Occurrence
100%
2/2
83%
5/6
76%
101/132
module
conjure-cp/Conjure.Representations.Combined
92%
13/14
82%
46/56
81%
248/305
module
conjure-cp/Conjure.Language.Expression.Op.ToMSet
23%
16/68
80%
4/5
51%
30/58
module
conjure-cp/Conjure.Rules.Vertical.Function.FunctionNDPartial
100%
4/4
78%
15/19
69%
164/236
module
conjure-cp/Conjure.Language.NameResolution
100%
14/14
77%
64/83
78%
558/707
module
conjure-cp/Conjure.Rules.Horizontal.MSet
100%
13/13
77%
24/31
52%
423/808
module
conjure-cp/Conjure.UI.NormaliseQuantified
100%
7/7
77%
17/22
88%
175/197
module
conjure-cp/Conjure.Language.Expression.Op.TwoBars
27%
19/68
76%
10/13
45%
34/74
module
conjure-cp/Conjure.Language.Expression.Op.Imply
24%
17/69
75%
3/4
50%
29/57
module
conjure-cp/Conjure.Language.Expression.Op.Minus
26%
18/69
75%
3/4
60%
33/55
module
conjure-cp/Conjure.Language.Pretty
54%
27/50
75%
15/20
75%
201/268
module
conjure-cp/Conjure.Process.InferAttributes
100%
2/2
75%
18/24
82%
107/130
module
conjure-cp/Conjure.Rules.Vertical.Matrix
100%
23/23
75%
77/102
66%
1071/1609
module
conjure-cp-2.6.0-AT44nioYOwD2qXowH7KxK-conjure-testing/Conjure.TypeCheckAll
100%
2/2
75%
3/4
82%
37/45
module
conjure-cp/Conjure.Language.Instantiate
80%
20/25
73%
79/107
74%
583/787
module
conjure-cp/Conjure.Process.Enums
100%
4/4
72%
44/61
71%
529/736
module
conjure-cp/Conjure.Rules.Definition
18%
40/216
72%
8/11
65%
106/161
module
conjure-cp/Conjure.Language.Expression.Op
100%
3/3
71%
71/100
63%
607/952
module
conjure-cp/Conjure.Rules.Vertical.Sequence.ExplicitBounded
100%
6/6
70%
17/24
37%
170/457
module
conjure-cp/Conjure.Rules.Horizontal.Function
100%
31/31
69%
93/134
47%
1138/2417
module
conjure-cp/Conjure.Rules.Horizontal.Set
100%
19/19
68%
59/86
75%
748/990
module
conjure-cp/Conjure.Representations.MSet.ExplicitWithFlags
100%
1/1
67%
23/34
76%
629/821
module
conjure-cp/Conjure.Representations.Partition.PartitionAsSet
100%
1/1
67%
23/34
69%
319/456
module
conjure-cp/Conjure.Language.Expression.Op.Image
26%
18/68
66%
4/6
46%
41/89
module
conjure-cp/Conjure.Language.Expression.Op.Leq
26%
18/69
66%
4/6
48%
23/47
module
conjure-cp/Conjure.Language.Expression.Op.Slicing
17%
12/68
66%
2/3
20%
11/54
module
conjure-cp/Conjure.Representations.Matrix
100%
1/1
66%
18/27
64%
255/397
module
conjure-cp-2.6.0-AT44nioYOwD2qXowH7KxK-conjure-testing/Conjure.ParserFuzz
100%
2/2
66%
4/6
64%
76/117
module
conjure-cp/Conjure.Language.Attributes
100%
19/19
65%
13/20
93%
196/209
module
conjure-cp/Conjure.Rules.BubbleUp
100%
6/6
65%
40/61
38%
276/725
module
conjure-cp/Conjure.Language.Type
26%
38/141
64%
96/150
67%
437/646
module
conjure-cp/Conjure.Process.FiniteGivens
100%
7/7
64%
40/62
51%
923/1786
module
conjure-cp/Conjure.Representations.Function.Function1D
100%
2/2
64%
20/31
75%
285/376
module
conjure-cp/Conjure.Language.Expression.Op.Sum
27%
19/69
63%
12/19
53%
71/133
module
conjure-cp/Conjure.Rules.TildeOrdering
100%
4/4
63%
19/30
69%
211/302
module
conjure-cp/Conjure.Language.Lenses
80%
84/104
62%
177/282
54%
1286/2349
module
conjure-cp/Conjure.Process.ValidateConstantForDomain
66%
2/3
62%
42/67
48%
326/675
module
conjure-cp/Conjure.Language.CategoryOf
66%
14/21
61%
16/26
61%
104/169
module
conjure-cp/Conjure.Language.Name
50%
26/51
61%
8/13
53%
51/95
module
conjure-cp/Conjure.Rules.Horizontal.Sequence
100%
23/23
61%
61/100
42%
807/1894
module
conjure-cp/Conjure.UI.TranslateSolution
83%
5/6
61%
16/26
71%
361/505
module
conjure-cp/Conjure.Language.Expression.Op.Gt
24%
17/69
60%
3/5
45%
21/46
module
conjure-cp/Conjure.Language.Expression.Op.Product
26%
18/69
60%
12/20
50%
75/148
module
conjure-cp/Conjure.Representations.MSet.ExplicitWithRepetition
100%
1/1
60%
21/35
61%
426/695
module
conjure-cp/Conjure.Representations.Set.ExplicitVarSizeWithFlags
100%
1/1
60%
14/23
81%
548/672
module
conjure-cp/Conjure.UI.ErrorDisplay
33%
10/30
60%
28/46
46%
171/369
module
conjure-cp/Conjure.Language.AbstractLiteral
29%
21/72
58%
56/96
45%
343/755
module
conjure-cp/Conjure.Language.Expression
35%
201/571
58%
152/261
47%
890/1876
module
conjure-cp/Conjure.Language.Expression.Op.Indexing
29%
20/68
58%
10/17
46%
102/218
module
conjure-cp/Conjure.Representations.Set.ExplicitVarSizeWithDummy
100%
1/1
58%
18/31
75%
459/611
module
conjure-cp/Conjure.Representations.Set.ExplicitVarSizeWithMarker
100%
1/1
58%
14/24
75%
397/528
module
conjure-cp/Conjure.Representations.Tuple
100%
1/1
58%
7/12
71%
125/174
module
conjure-cp/Conjure.Rules.Import
100%
2/2
58%
7/12
78%
36/46
module
conjure-cp/Conjure.Language.Domain
26%
327/1237
57%
244/427
66%
1190/1795
module
conjure-cp/Conjure.Language.Expression.Op.AllDiff
25%
17/68
57%
4/7
44%
30/67
module
conjure-cp/Conjure.Language.Expression.Op.Inverse
20%
14/68
57%
4/7
62%
44/70
module
conjure-cp/Conjure.Language.Validator
53%
183/343
57%
502/874
62%
4817/7705
module
conjure-cp/Conjure.Representations.Function.FunctionND
100%
5/5
57%
34/59
56%
375/659
module
conjure-cp/Conjure.Representations.Record
100%
1/1
57%
8/14
71%
133/187
module
conjure-cp/Conjure.Representations.Variant
100%
1/1
57%
11/19
61%
208/336
module
conjure-cp-2.6.0-AT44nioYOwD2qXowH7KxK-conjure-testing/Conjure.ModelAllSolveAll
42%
18/42
57%
32/56
80%
1071/1337
module
conjure-cp/Conjure.Language.EvaluateOp
81%
70/86
56%
227/402
51%
1672/3251
module
conjure-cp/Conjure.Representations.Set.Explicit
100%
1/1
56%
9/16
77%
211/273
module
conjure-cp-2.6.0-AT44nioYOwD2qXowH7KxK-conjure-testing/Conjure.ParsePrint
40%
4/10
56%
13/23
70%
226/321
module
conjure-cp/Conjure.Language.ParserCPrime
73%
19/26
55%
30/54
63%
341/541
module
conjure-cp/Conjure.Representations.MSet.Occurrence
100%
1/1
55%
15/27
56%
143/254
module
conjure-cp/Conjure.Representations.Sequence.ExplicitBounded
100%
1/1
55%
24/43
47%
431/916
module
conjure-cp/Conjure.Representations.Set.Occurrence
100%
1/1
55%
10/18
71%
148/208
module
conjure-cp/Conjure.UI.TypeCheck
100%
2/2
55%
26/47
45%
197/430
module
conjure-cp/Conjure.Representations.Relation.RelationAsSet
100%
1/1
54%
12/22
47%
132/280
module
conjure-cp/Conjure.Rules.Horizontal.Permutation
100%
9/9
54%
12/22
71%
370/520
module
conjure-cp/Conjure.UI.Model
94%
74/78
54%
288/528
56%
3660/6488
module
conjure-cp/Conjure.UI.ValidateSolution
100%
2/2
54%
23/42
47%
255/532
module
conjure-cp/Conjure.Language.Constant
64%
58/90
53%
110/204
32%
376/1162
module
conjure-cp/Conjure.Representations
100%
7/7
52%
38/72
50%
249/498
module
conjure-cp/Conjure.Representations.Function.FunctionAsRelation
100%
1/1
52%
13/25
49%
235/476
module
conjure-cp/Conjure.Representations.Permutation.PermutationAsFunction
100%
1/1
52%
11/21
61%
265/434
module
conjure-cp/Conjure.Process.Enumerate
57%
22/38
51%
21/41
69%
302/435
module
conjure-cp/Conjure.Representations.Relation.RelationAsMatrix
100%
1/1
51%
17/33
49%
199/405
module
conjure-cp/Conjure.Bug
50%
2/4
50%
2/4
17%
8/47
module
conjure-cp/Conjure.Language.Expression.Op.Active
20%
14/68
50%
2/4
35%
23/65
module
conjure-cp/Conjure.Language.Expression.Op.Apart
20%
14/68
50%
1/2
55%
27/49
module
conjure-cp/Conjure.Language.Expression.Op.AttributeAsConstraint
20%
14/68
50%
1/2
33%
15/45
module
conjure-cp/Conjure.Language.Expression.Op.CatchUndef
20%
14/68
50%
1/2
51%
25/49
module
conjure-cp/Conjure.Language.Expression.Op.Geq
23%
16/69
50%
3/6
44%
21/47
module
conjure-cp/Conjure.Language.Expression.Op.Hist
19%
13/68
50%
2/4
37%
25/67
module
conjure-cp/Conjure.Language.Expression.Op.In
23%
16/69
50%
2/4
34%
23/67
module
conjure-cp/Conjure.Language.Expression.Op.LexLeq
18%
13/69
50%
1/2
33%
19/57
module
conjure-cp/Conjure.Language.Expression.Op.LexLt
21%
15/69
50%
1/2
33%
19/57
module
conjure-cp/Conjure.Language.Expression.Op.Lt
23%
16/69
50%
3/6
44%
21/47
module
conjure-cp/Conjure.Language.Expression.Op.Max
25%
17/68
50%
8/16
34%
38/110
module
conjure-cp/Conjure.Language.Expression.Op.Min
25%
17/68
50%
8/16
34%
38/110
module
conjure-cp/Conjure.Language.Expression.Op.Not
22%
15/68
50%
1/2
40%
20/49
module
conjure-cp/Conjure.Language.Expression.Op.Participants
22%
15/68
50%
1/2
45%
17/37
module
conjure-cp/Conjure.Language.Expression.Op.Parts
22%
15/68
50%
1/2
39%
18/46
module
conjure-cp/Conjure.Language.Expression.Op.Party
22%
15/68
50%
1/2
58%
31/53
module
conjure-cp/Conjure.Language.Expression.Op.PowerSet
22%
15/68
50%
1/2
47%
18/38
module
conjure-cp/Conjure.Language.Expression.Op.Subsequence
20%
14/69
50%
1/2
29%
17/57
module
conjure-cp/Conjure.Language.Expression.Op.Substring
20%
14/69
50%
1/2
29%
17/57
module
conjure-cp/Conjure.Language.Expression.Op.ToInt
22%
15/68
50%
1/2
38%
18/47
module
conjure-cp/Conjure.Language.Expression.Op.ToRelation
22%
15/68
50%
1/2
48%
19/39
module
conjure-cp/Conjure.Language.Expression.Op.Together
20%
14/68
50%
1/2
55%
27/49
module
conjure-cp/Conjure.Language.Lexemes
22%
15/68
50%
7/14
97%
618/633
module
conjure-cp/Conjure.Rules.Vertical.Record
100%
6/6
50%
1/2
56%
103/183
module
conjure-cp/Conjure.Rules.Vertical.Variant
100%
7/7
50%
2/4
56%
182/325
module
conjure-cp/Conjure.Representations.Partition.Occurrence
100%
1/1
48%
17/35
71%
774/1079
module
conjure-cp/Conjure.Rules.Vertical.Function.FunctionAsRelation
100%
4/4
48%
13/27
22%
147/658
module
conjure-cp/Conjure.Rules.Vertical.Permutation.PermutationAsFunction
100%
6/6
47%
11/23
59%
240/402
module
conjure-cp/Conjure.Language.Expression.Op.And
24%
17/69
46%
7/15
51%
63/122
module
conjure-cp/Conjure.Representations.Function.Function1DPartial
100%
1/1
46%
12/26
67%
404/599
module
conjure-cp/Conjure.Language.Expression.Op.Internal.Common
76%
13/17
45%
15/33
67%
471/694
module
conjure-cp/Conjure.Language.Lexer
25%
40/155
45%
10/22
70%
393/557
module
conjure-cp/Conjure.Representations.Function.FunctionNDPartialDummy
100%
1/1
45%
20/44
54%
312/568
module
conjure-cp/Conjure.UserError
48%
14/29
45%
5/11
64%
88/136
module
conjure-cp/Conjure.Language.RepresentationOf
75%
3/4
44%
4/9
56%
26/46
module
conjure-cp/Conjure.Compute.DomainOf
35%
61/173
43%
121/279
57%
888/1553
module
conjure-cp/Conjure.Language.Expression.Op.AllDiffExcept
20%
14/68
42%
3/7
43%
24/55
module
conjure-cp/Conjure.Language.Expression.Op.Or
23%
16/69
42%
6/14
49%
59/120
module
conjure-cp/Conjure.Language.Expression.Op.Internal.Generated
9%
21/228
41%
199/480
33%
378/1124
module
conjure-cp/Conjure.Language.Expression.Op.Freq
23%
16/68
40%
2/5
37%
35/94
module
conjure-cp/Conjure.Representations.Function.FunctionNDPartial
100%
1/1
39%
15/38
32%
230/716
module
conjure-cp/Conjure.Util.Permutation
38%
14/36
39%
11/28
55%
181/327
module
conjure-cp/Conjure.Representations.Common
66%
2/3
37%
16/43
33%
517/1545
module
conjure-cp/Conjure.Language.Expression.Op.RelationProj
19%
13/68
35%
6/17
34%
45/132
module
conjure-cp/Conjure.Compute.DomainUnion
57%
8/14
34%
17/49
39%
139/354
module
conjure-cp/Conjure.Language.Expression.Op.AtLeast
19%
13/68
33%
1/3
31%
27/86
module
conjure-cp/Conjure.Language.Expression.Op.AtMost
19%
13/68
33%
1/3
31%
27/86
module
conjure-cp/Conjure.Language.Expression.Op.Factorial
23%
16/68
33%
1/3
45%
19/42
module
conjure-cp/Conjure.Language.Expression.Op.Iff
23%
16/69
33%
1/3
35%
18/51
module
conjure-cp/Conjure.Language.Expression.Op.Negate
25%
17/68
33%
1/3
54%
25/46
module
conjure-cp/Conjure.Language.Expression.Op.Range
20%
14/68
33%
1/3
42%
17/40
module
conjure-cp/Conjure.Language.Expression.Op.Table
17%
12/68
33%
2/6
31%
24/77
module
conjure-cp/Conjure.Prelude
46%
70/150
33%
10/30
48%
299/613
module
conjure-cp/Conjure.Process.AttributeAsConstraints
100%
5/5
33%
23/68
44%
719/1611
module
conjure-cp/Conjure.Rules.Transform
95%
19/20
33%
38/115
14%
247/1677
module
conjure-cp/Conjure.Language.Definition
31%
94/294
31%
9/29
47%
216/459
module
conjure-cp/Conjure.UI.IO
54%
6/11
31%
14/45
36%
169/462
module
conjure-cp/Conjure.UI.TranslateParameter
100%
1/1
31%
12/38
42%
269/631
module
conjure-cp-2.6.0-AT44nioYOwD2qXowH7KxK-conjure-testing/Conjure.RepresentationsTest
50%
13/26
30%
8/26
90%
6110/6715
module
conjure-cp/Conjure.Language.Expression.Op.PreImage
22%
15/68
28%
2/7
43%
28/64
module
conjure-cp/Conjure.Language.Parser
25%
4/16
27%
5/18
28%
55/191
module
conjure-cp/Conjure.Language.Expression.DomainSizeOf
66%
2/3
26%
17/63
30%
111/370
module
conjure-cp/Conjure.Language.Expression.Op.Defined
23%
16/68
25%
1/4
43%
19/44
module
conjure-cp/Conjure.Rules.DontCare
90%
9/10
25%
8/31
52%
228/438
module
conjure-cp/Conjure.UI.SolveStats
6%
9/133
25%
5/20
76%
168/219
module
conjure-cp/Conjure.Language.ZeroVal
75%
3/4
23%
7/30
14%
35/239
module
conjure-cp/Conjure.Language.Expression.Op.ElementId
19%
13/68
20%
1/5
19%
23/117
module
conjure-cp/Conjure.Language.AST.Syntax
2%
27/982
19%
27/139
11%
108/973
module
conjure-cp/Conjure.UI.MainHelper
68%
13/19
19%
45/234
26%
839/3200
module
conjure-cp/Conjure.Rules.Vertical.Tuple
56%
9/16
8%
2/24
28%
211/737
module
conjure-cp/Conjure.Language.Domain.AddAttributes
80%
4/5
4%
10/224
5%
96/1663
module
conjure-cp/Conjure.LSP.Documentation
0%
0/6
0%
0/4
0%
0/94
module
conjure-cp/Conjure.LSP.Handlers.DocumentSymbol
0%
0/5
0%
0/62
0%
0/163
module
conjure-cp/Conjure.LSP.Handlers.File
0%
0/6
0%
0/4
0%
0/97
module
conjure-cp/Conjure.LSP.Handlers.Format
0%
0/2
0%
0/2
0%
0/65
module
conjure-cp/Conjure.LSP.Handlers.Hover
0%
0/2
0%
0/5
0%
0/87
module
conjure-cp/Conjure.LSP.Handlers.SemanticTokens
0%
0/3
0%
0/21
0%
0/148
module
conjure-cp/Conjure.LSP.Handlers.Suggestions
0%
0/16
0%
0/43
0%
0/277
module
conjure-cp/Conjure.LSP.Util
0%
0/27
0%
0/13
0%
0/300
module
conjure-cp/Conjure.Language.AdHoc
3%
1/26
0%
0/29
3%
9/285
module
conjure-cp/Conjure.Language.Expression.Internal.Generated
1%
2/160
0%
0/160
1%
6/560
module
conjure-cp/Conjure.Language.Expression.Op.Compose
7%
5/68
0%
0/4
0%
0/52
module
conjure-cp/Conjure.Language.Expression.Op.GCC
7%
5/68
0%
0/3
0%
0/86
module
conjure-cp/Conjure.Language.Expression.Op.ImageSet
7%
5/68
0%
0/5
0%
0/86
module
conjure-cp/Conjure.Language.Expression.Op.MakeTable
7%
5/68
0%
0/2
0%
0/45
module
conjure-cp/Conjure.Language.Expression.Op.PermInverse
5%
4/68
0%
0/2
0%
0/36
module
conjure-cp/Conjure.Language.Expression.Op.Pred
7%
5/68
0%
0/6
0%
0/44
module
conjure-cp/Conjure.Language.Expression.Op.QuickPermutationOrder
7%
5/68
0%
0/2
0%
0/56
module
conjure-cp/Conjure.Language.Expression.Op.Restrict
7%
5/68
0%
0/2
0%
0/54
module
conjure-cp/Conjure.Language.Expression.Op.Succ
7%
5/68
0%
0/7
0%
0/50
module
conjure-cp/Conjure.Language.Expression.Op.Transform
7%
5/68
0%
0/6
0%
0/95
module
conjure-cp/Conjure.Language.Expression.Op.Xor
7%
5/68
0%
0/9
0%
0/73
module
conjure-cp/Conjure.Language.ModelDiff
0%
0/2
0%
0/7
0%
0/90
module
conjure-cp/Conjure.Language.ModelStats
7%
1/13
0%
0/22
2%
5/189
module
conjure-cp/Conjure.Process.Boost
0%
0/59
0%
0/342
0%
0/2998
module
conjure-cp/Conjure.Process.Streamlining
0%
0/38
0%
0/152
0%
0/3594
module
conjure-cp/Conjure.UI
12%
18/150
0%
0/164
78%
1835/2331
module
conjure-cp/Conjure.UI.ParameterGenerator
0%
0/14
0%
0/171
0%
0/3053
module
conjure-cp/Conjure.UI.Split
0%
0/3
0%
0/14
0%
0/133
module
conjure-cp/Paths_conjure_cp
5%
1/18
0%
0/5
8%
6/74
module
conjure-cp/Conjure.LSP.Handlers.Initialize
0%
0/1
-
0/0
0%
0/10
module
conjure-cp/Conjure.LSP.LanguageServer
0%
0/5
-
0/0
0%
0/64
module
conjure-cp/Conjure.Language.Expression.Op.DontCare
19%
13/68
-
0/0
37%
11/29
module
conjure-cp/Conjure.Language.Expression.Op.DotLeq
21%
15/69
-
0/0
39%
15/38
module
conjure-cp/Conjure.Language.Expression.Op.DotLt
23%
16/69
-
0/0
39%
15/38
module
conjure-cp/Conjure.Language.Expression.Op.Intersect
23%
16/69
-
0/0
48%
25/52
module
conjure-cp/Conjure.Language.Expression.Op.Mod
26%
18/69
-
0/0
40%
14/35
module
conjure-cp/Conjure.Language.Expression.Op.Neq
24%
17/69
-
0/0
35%
15/42
module
conjure-cp/Conjure.Language.Expression.Op.Pow
26%
18/69
-
0/0
40%
14/35
module
conjure-cp/Conjure.Language.Expression.Op.Subset
21%
15/69
-
0/0
52%
25/48
module
conjure-cp/Conjure.Language.Expression.Op.SubsetEq
21%
15/69
-
0/0
52%
25/48
module
conjure-cp/Conjure.Language.Expression.Op.Supset
20%
14/69
-
0/0
52%
25/48
module
conjure-cp/Conjure.Language.Expression.Op.SupsetEq
20%
14/69
-
0/0
47%
23/48
module
conjure-cp/Conjure.Language.Expression.Op.TildeLeq
7%
5/69
-
0/0
0%
0/38
module
conjure-cp/Conjure.Language.Expression.Op.TildeLt
20%
14/69
-
0/0
31%
12/38
module
conjure-cp/Conjure.Language.Expression.Op.True
19%
13/68
-
0/0
31%
9/29
module
conjure-cp/Conjure.Language.Expression.Op.Union
24%
17/69
-
0/0
44%
23/52
module
conjure-cp/Conjure.Language.ParserC
100%
1/1
-
0/0
100%
4/4
module
conjure-cp/Conjure.RepositoryVersion
100%
1/1
-
0/0
100%
1/1
module
conjure-cp/Conjure.UI.VarSymBreaking
0%
0/2
-
0/0
0%
0/36
module
conjure-cp-2.6.0-AT44nioYOwD2qXowH7KxK-conjure-testing/Conjure.Language.DomainSizeTest
100%
2/2
-
0/0
86%
113/131
module
conjure-cp-2.6.0-AT44nioYOwD2qXowH7KxK-conjure-testing/Main
100%
1/1
-
0/0
96%
32/33
Program Coverage Total
27%
3442/12363
47%
4696/9890
51%
60835/117259