moduleTop Level DefinitionsAlternativesExpressions
%covered / total%covered / total%covered / total
  module conjure-cp/Conjure.Language.ParserC 100%1/1
- 0/0 100%4/4
  module conjure-cp/Conjure.Process.Unnameds 100%1/1
100%2/2
100%29/29
  module conjure-cp/Conjure.RepositoryVersion 100%1/1
- 0/0 100%1/1
  module conjure-cp/Conjure.Representations.Internal 100%8/8
100%2/2
100%39/39
  module conjure-cp/Conjure.Process.DealWithCuts 100%1/1
100%6/6
98%86/87
  module conjure-cp/Conjure.Language.Lexemes 20%14/68
50%7/14
97%594/609
  module conjure-cp/Conjure.Rules.Vertical.MSet.ExplicitWithRepetition 100%1/1
100%4/4
97%65/67
  module conjure-cp/Conjure.Rules.Vertical.Partition.Occurrence 100%1/1
100%4/4
97%93/95
  module conjure-cp/Conjure.Rules.Vertical.Relation.RelationAsMatrix 100%2/2
100%4/4
97%111/114
  module conjure-cp/Conjure.Rules.Vertical.Set.ExplicitVarSizeWithDummy 100%2/2
100%8/8
97%196/202
  module conjure-cp/Conjure.Rules.Vertical.Set.Occurrence 100%3/3
100%10/10
97%179/184
  module conjure-cp/Conjure.Rules.Vertical.Function.FunctionNDPartialDummy 100%3/3
89%17/19
96%203/211
  module conjure-cp/Conjure.Rules.Vertical.Partition.PartitionAsSet 100%1/1
100%4/4
96%58/60
  module conjure-cp/Conjure.Rules.Vertical.Set.ExplicitVarSizeWithFlags 100%2/2
100%8/8
96%174/180
  module conjure-cp/Conjure.Rules.Vertical.Set.ExplicitVarSizeWithMarker 100%3/3
100%8/8
96%191/198
  module conjure-cp/Conjure.Language.AST.ASTParser 92%72/78
84%37/44
93%1483/1593
  module conjure-cp/Conjure.Language.AST.Helpers 100%25/25
92%24/26
93%254/272
  module conjure-cp/Conjure.Language.Attributes 100%17/17
65%13/20
93%182/195
  module conjure-cp/Conjure.UI.NormaliseQuantified 100%7/7
81%18/22
93%184/197
  module conjure-cp/Conjure.Rules.Horizontal.Partition 100%9/9
95%21/22
92%478/514
  module conjure-cp/Conjure.Rules.Vertical.Function.FunctionND 100%3/3
92%12/13
90%160/176
  module conjure-cp/Conjure.Language.AST.Reformer 48%66/135
92%104/113
89%729/819
  module conjure-cp/Conjure.Process.LettingsForComplexInDoms 100%3/3
89%17/19
89%140/157
  module conjure-cp/Conjure.Rules.Vertical.Set.Explicit 100%6/6
85%17/20
87%298/342
  module conjure-cp/Conjure.UI.TranslateSolution 100%2/2
75%6/8
83%216/259
  module conjure-cp/Conjure.Process.InferAttributes 100%2/2
75%18/24
82%107/130
  module conjure-cp/Conjure.Representations.Combined 92%13/14
83%44/53
81%241/296
  module conjure-cp/Conjure.Representations.Set.ExplicitVarSizeWithFlags 100%1/1
60%14/23
81%540/664
  module conjure-cp/Conjure.Language.NameResolution 100%14/14
76%61/80
80%545/674
  module conjure-cp/Conjure.Representations.Primitive 100%1/1
87%7/8
80%53/66
  module conjure-cp/Conjure.Rules.Vertical.MSet.ExplicitWithFlags 100%2/2
83%5/6
80%128/159
  module conjure-cp/Conjure.Rules.Import 100%2/2
58%7/12
78%36/46
  module conjure-cp/Conjure.UI 12%18/145
0%0/162
78%1814/2305
  module conjure-cp/Conjure.Representations.Set.Explicit 100%1/1
56%9/16
77%209/271
  module conjure-cp/Conjure.Representations.MSet.ExplicitWithFlags 100%1/1
67%23/34
76%627/819
  module conjure-cp/Conjure.Language.Pretty 54%27/50
75%15/20
75%201/268
  module conjure-cp/Conjure.Representations.Function.Function1D 100%2/2
64%20/31
75%283/374
  module conjure-cp/Conjure.Representations.Set.ExplicitVarSizeWithDummy 100%1/1
58%18/31
75%457/609
  module conjure-cp/Conjure.Representations.Set.ExplicitVarSizeWithMarker 100%1/1
58%14/24
75%395/526
  module conjure-cp/Conjure.Rules.Horizontal.Set 100%19/19
68%59/86
75%729/966
  module conjure-cp/Conjure.Rules.Vertical.MSet.Occurrence 100%2/2
83%5/6
75%97/128
  module conjure-cp/Conjure.UI.SolveStats 5%7/127
26%5/19
75%158/208
  module conjure-cp/Conjure.Language.Instantiate 79%19/24
73%78/106
74%581/784
  module conjure-cp/Conjure.Rules.Vertical.Function.Function1D 100%3/3
100%10/10
74%111/149
  module conjure-cp/Conjure.Language.Expression.Op.Internal.Common 75%12/16
52%13/25
73%447/612
  module conjure-cp/Conjure.Process.Sanity 100%3/3
89%53/59
73%310/421
  module conjure-cp/Conjure.Rules.Vertical.Relation.RelationAsSet 100%4/4
87%14/16
73%142/194
  module conjure-cp/Conjure.Process.Enums 100%4/4
71%43/60
71%521/726
  module conjure-cp/Conjure.Representations.Partition.Occurrence 100%1/1
45%15/33
71%768/1072
  module conjure-cp/Conjure.Representations.Tuple 100%1/1
58%7/12
71%124/173
  module conjure-cp/Conjure.Language.Lexer 25%40/155
45%10/22
70%393/557
  module conjure-cp/Conjure.Representations.Record 100%1/1
57%8/14
70%132/186
  module conjure-cp/Conjure.Representations.Set.Occurrence 100%1/1
55%10/18
70%146/207
  module conjure-cp/Conjure.Representations.Function.Function1DPartial 100%1/1
46%12/26
69%402/582
  module conjure-cp/Conjure.Representations.Partition.PartitionAsSet 100%1/1
67%23/34
69%317/454
  module conjure-cp/Conjure.Rules.TildeOrdering 100%4/4
63%19/30
69%211/302
  module conjure-cp/Conjure.Process.Enumerate 57%22/38
52%20/38
68%282/409
  module conjure-cp/Conjure.Rules.Vertical.Function.FunctionNDPartial 100%4/4
78%15/19
68%155/225
  module conjure-cp/Conjure.Language.Domain 27%309/1132
57%240/415
67%1156/1719
  module conjure-cp/Conjure.Language.Type 27%36/133
60%84/138
67%400/595
  module conjure-cp/Conjure.Language.Expression.Op 100%3/3
72%70/96
66%596/892
  module conjure-cp/Conjure.Rules.Vertical.Matrix 100%23/23
77%76/98
66%1055/1580
  module conjure-cp/Conjure.UserError 48%14/29
45%5/11
65%90/138
  module conjure-cp/Conjure.Representations.Matrix 100%1/1
66%18/27
64%253/395
  module conjure-cp/Conjure.Rules.Definition 39%37/93
72%8/11
64%98/151
  module conjure-cp/Conjure.Language.NameGen 52%26/50
100%4/4
63%93/147
  module conjure-cp/Conjure.Language.Validator 52%179/342
58%479/819
62%4677/7453
  module conjure-cp/Conjure.UI.Model 94%71/75
59%301/502
62%3749/5991
  module conjure-cp/Conjure.Language.CategoryOf 66%14/21
61%16/26
61%104/169
  module conjure-cp/Conjure.Language.Expression.Op.Minus 26%18/67
100%3/3
61%33/54
  module conjure-cp/Conjure.Representations.MSet.ExplicitWithRepetition 100%1/1
60%21/35
61%426/695
  module conjure-cp/Conjure.Representations.Variant 100%1/1
57%11/19
61%206/334
  module conjure-cp/Conjure.Compute.DomainOf 36%60/165
45%112/248
59%849/1430
  module conjure-cp/Conjure.Language.Expression.Op.Party 22%15/66
50%1/2
58%31/53
  module conjure-cp/Conjure.Rules.Horizontal.Relation 100%13/13
92%26/28
58%376/638
  module conjure-cp/Conjure.Rules.Vertical.Function.Function1DPartial 100%6/6
95%23/24
58%215/368
  module conjure-cp/Conjure.Representations 100%7/7
62%33/53
57%192/335
  module conjure-cp/Conjure.Representations.Function.FunctionND 100%5/5
57%34/59
57%375/657
  module conjure-cp/Conjure.Language.Expression.Op.Flatten 22%15/66
85%12/14
56%58/102
  module conjure-cp/Conjure.Language.RepresentationOf 75%3/4
44%4/9
56%26/46
  module conjure-cp/Conjure.Representations.MSet.Occurrence 100%1/1
55%15/27
56%142/252
  module conjure-cp/Conjure.Rules.Vertical.Variant 100%7/7
50%2/4
56%171/305
  module conjure-cp/Conjure.Language.Expression.Op.Apart 21%14/66
50%1/2
55%27/49
  module conjure-cp/Conjure.Language.Expression.Op.Eq 31%21/67
100%3/3
55%30/54
  module conjure-cp/Conjure.Language.Expression.Op.Negate 25%17/66
50%1/2
55%24/43
  module conjure-cp/Conjure.Language.Expression.Op.Together 21%14/66
50%1/2
55%27/49
  module conjure-cp/Conjure.Representations.Function.FunctionNDPartialDummy 100%1/1
45%20/44
55%312/566
  module conjure-cp/Conjure.Rules.Vertical.Record 100%6/6
50%1/2
55%97/174
  module conjure-cp/Conjure.Language.Expression.Op.Sum 28%19/67
66%12/18
54%71/130
  module conjure-cp/Conjure.Language.Lenses 77%78/101
62%165/265
54%1203/2220
  module conjure-cp/Conjure.Rules.Horizontal.MSet 100%12/12
85%23/27
54%389/711
  module conjure-cp/Conjure.Language.Name 51%25/49
61%8/13
53%51/95
  module conjure-cp/Conjure.Language.EvaluateOp 82%68/82
58%214/365
52%1565/2985
  module conjure-cp/Conjure.Language.Expression.Op.Inverse 15%10/66
50%1/2
52%27/51
  module conjure-cp/Conjure.Language.Expression.Op.Product 26%18/67
63%12/19
52%75/144
  module conjure-cp/Conjure.Language.Expression.Op.Subset 22%15/67
- 0/0 52%25/48
  module conjure-cp/Conjure.Language.Expression.Op.SubsetEq 22%15/67
- 0/0 52%25/48
  module conjure-cp/Conjure.Language.Expression.Op.Supset 20%14/67
- 0/0 52%25/48
  module conjure-cp/Conjure.Language.Expression.Op.And 25%17/67
46%7/15
51%63/122
  module conjure-cp/Conjure.Language.Expression.Op.CatchUndef 21%14/66
50%1/2
51%25/49
  module conjure-cp/Conjure.Language.Expression.Op.ToMSet 24%16/66
80%4/5
51%30/58
  module conjure-cp/Conjure.Process.FiniteGivens 100%7/7
62%38/61
51%915/1784
  module conjure-cp/Conjure.Language.Expression.Op.Imply 25%17/67
75%3/4
50%29/57
  module conjure-cp/Conjure.Language.Expression.Op.Leq 26%18/67
80%4/5
50%23/46
  module conjure-cp/Conjure.Rules.DontCare 87%7/8
26%10/38
50%192/380
  module conjure-cp/Conjure.Language.Expression.Op.Or 23%16/67
42%6/14
49%59/120
  module conjure-cp/Conjure.Representations.Function.FunctionAsRelation 100%1/1
52%13/25
49%237/478
  module conjure-cp/Conjure.UI.ValidateSolution 100%2/2
57%23/40
49%251/508
  module conjure-cp/Conjure.Language.Expression.Op.Intersect 23%16/67
- 0/0 48%25/52
  module conjure-cp/Conjure.Language.Expression.Op.ToRelation 22%15/66
50%1/2
48%19/39
  module conjure-cp/Conjure.Prelude 47%69/146
30%8/26
48%288/597
  module conjure-cp/Conjure.Representations.Relation.RelationAsMatrix 100%1/1
51%17/33
48%197/403
  module conjure-cp/Conjure.Language.Definition 31%90/282
31%9/29
47%216/459
  module conjure-cp/Conjure.Language.Expression.Op.PowerSet 22%15/66
50%1/2
47%18/38
  module conjure-cp/Conjure.Language.Expression.Op.SupsetEq 20%14/67
- 0/0 47%23/48
  module conjure-cp/Conjure.Process.ValidateConstantForDomain 66%2/3
62%41/66
47%317/663
  module conjure-cp/Conjure.Representations.Relation.RelationAsSet 100%1/1
54%12/22
47%132/278
  module conjure-cp/Conjure.Representations.Sequence.ExplicitBounded 100%1/1
55%24/43
47%431/914
  module conjure-cp/Conjure.Language.Expression.Op.Defined 24%16/66
33%1/3
46%19/41
  module conjure-cp/Conjure.Language.Expression.Op.Factorial 24%16/66
50%1/2
46%18/39
  module conjure-cp/Conjure.Language.Expression.Op.ToSet 22%15/66
83%5/6
46%29/63
  module conjure-cp/Conjure.Rules.Horizontal.Function 100%31/31
67%90/134
46%1118/2389
  module conjure-cp/Conjure.UI.ErrorDisplay 33%10/30
60%28/46
46%171/369
  module conjure-cp/Conjure.Language.AbstractLiteral 30%21/70
57%51/89
45%315/698
  module conjure-cp/Conjure.Language.Expression 35%194/544
57%143/247
45%820/1809
  module conjure-cp/Conjure.Language.Expression.Op.AllDiffExcept 21%14/66
50%3/6
45%24/53
  module conjure-cp/Conjure.Language.Expression.Op.Geq 23%16/67
60%3/5
45%21/46
  module conjure-cp/Conjure.Language.Expression.Op.Gt 25%17/67
60%3/5
45%21/46
  module conjure-cp/Conjure.Language.Expression.Op.Lt 23%16/67
60%3/5
45%21/46
  module conjure-cp/Conjure.Language.Expression.Op.Participants 22%15/66
50%1/2
45%17/37
  module conjure-cp/Conjure.Language.Expression.Op.TwoBars 28%19/66
75%9/12
45%33/72
  module conjure-cp/Conjure.UI.TypeCheck 100%2/2
55%26/47
45%197/430
  module conjure-cp/Conjure.Compute.DomainUnion 61%8/13
41%18/43
44%142/318
  module conjure-cp/Conjure.Language.Expression.Op.AllDiff 25%17/66
57%4/7
44%30/67
  module conjure-cp/Conjure.Language.Expression.Op.Union 25%17/67
- 0/0 44%23/52
  module conjure-cp/Conjure.Process.AttributeAsConstraints 100%5/5
33%23/68
44%719/1611
  module conjure-cp/Conjure.Language.Expression.Op.Image 27%18/66
60%3/5
43%37/85
  module conjure-cp/Conjure.Language.Expression.Op.PreImage 22%15/66
28%2/7
43%28/64
  module conjure-cp/Conjure.Language.Expression.Op.Range 21%14/66
33%1/3
42%17/40
  module conjure-cp/Conjure.Rules.Horizontal.Sequence 100%23/23
61%61/100
42%783/1859
  module conjure-cp/Conjure.UI.TranslateParameter 100%1/1
31%12/38
42%269/631
  module conjure-cp/Conjure.Rules.BubbleUp 100%6/6
66%37/56
41%249/603
  module conjure-cp/Conjure.Language.Expression.Op.Div 26%18/67
- 0/0 40%14/35
  module conjure-cp/Conjure.Language.Expression.Op.Mod 26%18/67
- 0/0 40%14/35
  module conjure-cp/Conjure.Language.Expression.Op.Not 22%15/66
50%1/2
40%20/49
  module conjure-cp/Conjure.Language.Expression.Op.Pow 26%18/67
- 0/0 40%14/35
  module conjure-cp/Conjure.Language.Expression.Op.Parts 22%15/66
50%1/2
39%18/46
  module conjure-cp/Conjure.Language.Expression.Op.ToInt 22%15/66
50%1/2
38%18/47
  module conjure-cp/Conjure.Language.Expression.Op.DontCare 19%13/66
- 0/0 37%11/29
  module conjure-cp/Conjure.Language.Expression.Op.Freq 24%16/66
40%2/5
37%35/94
  module conjure-cp/Conjure.Language.Expression.Op.Hist 19%13/66
50%2/4
37%25/67
  module conjure-cp/Conjure.Language.Expression.Op.LexLeq 22%15/67
50%1/2
36%21/57
  module conjure-cp/Conjure.Language.Expression.Op.LexLt 23%16/67
50%1/2
36%21/57
  module conjure-cp/Conjure.Language.Expression.Op.Max 25%17/66
56%9/16
36%40/110
  module conjure-cp/Conjure.Rules.Vertical.Sequence.ExplicitBounded 100%6/6
70%17/24
36%157/432
  module conjure-cp/Conjure.UI.IO 54%6/11
31%14/45
36%169/462
  module conjure-cp/Conjure.Language.Expression.Op.Active 21%14/66
50%2/4
35%23/65
  module conjure-cp/Conjure.Language.Expression.Op.Iff 23%16/67
33%1/3
35%18/51
  module conjure-cp/Conjure.Language.Expression.Op.Neq 23%16/67
- 0/0 35%15/42
  module conjure-cp/Conjure.Language.Expression.Op.In 23%16/67
50%2/4
34%23/67
  module conjure-cp/Conjure.Language.Expression.Op.Internal.Generated 9%21/218
42%195/456
34%372/1068
  module conjure-cp/Conjure.Language.Expression.Op.Min 25%17/66
50%8/16
34%38/110
  module conjure-cp/Conjure.Language.Expression.Op.RelationProj 19%13/66
35%6/17
34%45/132
  module conjure-cp/Conjure.Language.Expression.Op.AttributeAsConstraint 21%14/66
50%1/2
33%15/45
  module conjure-cp/Conjure.Language.Expression.Op.Indexing 28%19/66
52%9/17
33%73/217
  module conjure-cp/Conjure.Representations.Common 66%2/3
37%16/43
33%517/1545
  module conjure-cp/Conjure.Representations.Function.FunctionNDPartial 100%1/1
39%15/38
32%230/714
  module conjure-cp/Conjure.Language.Constant 65%56/86
53%106/199
31%357/1144
  module conjure-cp/Conjure.Language.Expression.DomainSizeOf 66%2/3
27%17/61
31%111/355
  module conjure-cp/Conjure.Language.Expression.Op.AtLeast 19%13/66
33%1/3
31%27/86
  module conjure-cp/Conjure.Language.Expression.Op.AtMost 19%13/66
33%1/3
31%27/86
  module conjure-cp/Conjure.Language.Expression.Op.DotLeq 19%13/67
- 0/0 31%12/38
  module conjure-cp/Conjure.Language.Expression.Op.DotLt 22%15/67
- 0/0 31%12/38
  module conjure-cp/Conjure.Language.Expression.Op.Table 18%12/66
33%2/6
31%24/77
  module conjure-cp/Conjure.Language.Expression.Op.TildeLt 20%14/67
- 0/0 31%12/38
  module conjure-cp/Conjure.Language.Expression.Op.True 19%13/66
- 0/0 31%9/29
  module conjure-cp/Conjure.Language.Expression.Op.Subsequence 20%14/67
50%1/2
29%17/57
  module conjure-cp/Conjure.Language.Expression.Op.Substring 20%14/67
50%1/2
29%17/57
  module conjure-cp/Conjure.Language.Parser 25%4/16
27%5/18
28%55/191
  module conjure-cp/Conjure.Rules.Vertical.Tuple 61%8/13
11%2/18
28%169/602
  module conjure-cp/Conjure.UI.MainHelper 68%13/19
19%42/219
26%812/3044
  module conjure-cp/Conjure.Rules.Vertical.Function.FunctionAsRelation 100%4/4
44%12/27
21%135/629
  module conjure-cp/Conjure.Language.Expression.Op.Slicing 18%12/66
66%2/3
20%11/54
  module conjure-cp/Conjure.Rules.Transform 95%21/22
36%34/92
20%286/1382
  module conjure-cp/Conjure.Bug 50%2/4
50%2/4
17%8/47
  module conjure-cp/Conjure.Language.ZeroVal 75%3/4
23%7/30
14%35/239
  module conjure-cp/Conjure.Language.AST.Syntax 2%26/962
20%27/135
11%106/936
  module conjure-cp/Paths_conjure_cp 5%1/18
0%0/5
8%6/74
  module conjure-cp/Conjure.Language.Domain.AddAttributes 80%4/5
4%10/223
5%96/1657
  module conjure-cp/Conjure.Language.ModelStats 7%1/13
0%0/21
2%5/188
  module conjure-cp/Conjure.Language.Expression.Internal.Generated 1%2/152
0%0/152
1%6/532
  module conjure-cp/Conjure.LSP.Documentation 0%0/6
0%0/9
0%0/111
  module conjure-cp/Conjure.LSP.Handlers.DocumentSymbol 0%0/5
0%0/61
0%0/165
  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/64
  module conjure-cp/Conjure.LSP.Handlers.Hover 0%0/2
0%0/5
0%0/89
  module conjure-cp/Conjure.LSP.Handlers.Initialize 0%0/1
- 0/0 0%0/10
  module conjure-cp/Conjure.LSP.Handlers.SemanticTokens 0%0/3
0%0/21
0%0/146
  module conjure-cp/Conjure.LSP.Handlers.Suggestions 0%0/16
0%0/42
0%0/276
  module conjure-cp/Conjure.LSP.LanguageServer 0%0/5
- 0/0 0%0/62
  module conjure-cp/Conjure.LSP.Util 0%0/27
0%0/13
0%0/298
  module conjure-cp/Conjure.Language.AdHoc 0%0/25
0%0/29
0%0/276
  module conjure-cp/Conjure.Language.Expression.Op.GCC 7%5/66
0%0/3
0%0/86
  module conjure-cp/Conjure.Language.Expression.Op.ImageSet 7%5/66
0%0/5
0%0/86
  module conjure-cp/Conjure.Language.Expression.Op.MakeTable 7%5/66
0%0/2
0%0/45
  module conjure-cp/Conjure.Language.Expression.Op.Pred 7%5/66
0%0/5
0%0/42
  module conjure-cp/Conjure.Language.Expression.Op.Restrict 7%5/66
0%0/2
0%0/53
  module conjure-cp/Conjure.Language.Expression.Op.Succ 7%5/66
0%0/5
0%0/42
  module conjure-cp/Conjure.Language.Expression.Op.TildeLeq 7%5/67
- 0/0 0%0/38
  module conjure-cp/Conjure.Language.Expression.Op.Transform 7%5/66
0%0/5
0%0/76
  module conjure-cp/Conjure.Language.Expression.Op.Xor 7%5/66
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.Process.Boost 0%0/44
0%0/271
0%0/2255
  module conjure-cp/Conjure.Process.Streamlining 0%0/38
0%0/149
0%0/3351
  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/132
  module conjure-cp/Conjure.UI.VarSymBreaking 0%0/2
- 0/0 0%0/36
  Program Coverage Total 28%3241/11377
48%4413/9122
49%50065/100884