top_level
Lines
63.65 %
Functions
13.72 %
Directory
Line Coverage
Functions
crates/conjure-cp-cli/src
57.62%
57.62%
261 / 453
25.49%
52 / 204
crates/conjure-cp-cli/src/utils
33.28%
33.28%
191 / 574
16.1%
71 / 441
crates/conjure-cp-core/src
68.39%
68.39%
132 / 193
19.54%
101 / 517
crates/conjure-cp-core/src/ast
55.35%
55.35%
2715 / 4905
8.4%
1180 / 14049
crates/conjure-cp-core/src/ast/domains
51.91%
51.91%
1061 / 2044
14.11%
430 / 3048
crates/conjure-cp-core/src/parse
81.46%
81.46%
971 / 1192
10.62%
129 / 1215
crates/conjure-cp-core/src/rule_engine
67.82%
67.82%
451 / 665
17.81%
195 / 1095
crates/conjure-cp-core/src/solver
40.65%
40.65%
63 / 155
14.23%
40 / 281
crates/conjure-cp-core/src/solver/adaptors/minion
66.85%
66.85%
359 / 537
18.21%
124 / 681
crates/conjure-cp-core/src/solver/adaptors/rustsat
64.5%
64.5%
198 / 307
4.35%
15 / 345
crates/conjure-cp-core/src/solver/adaptors/smt
68.86%
68.86%
482 / 700
4.73%
236 / 4986
crates/conjure-cp-core/src/stats
86.96%
86.96%
20 / 23
21.33%
16 / 75
crates/conjure-cp-core/src/utils
43.24%
43.24%
16 / 37
5.33%
4 / 75
crates/conjure-cp-enum-compatibility-macro/src
100%
100%
62 / 62
33.33%
8 / 24
crates/conjure-cp-essence-macros/src
65.96%
65.96%
62 / 94
33.33%
18 / 54
crates/conjure-cp-essence-parser/src
71.55%
71.55%
83 / 116
25.93%
35 / 135
crates/conjure-cp-essence-parser/src/diagnostics
70%
70%
7 / 10
13.33%
2 / 15
crates/conjure-cp-essence-parser/src/diagnostics/error_detection
76.4%
76.4%
68 / 89
20%
9 / 45
crates/conjure-cp-essence-parser/src/parser
67.53%
67.53%
1483 / 2196
29.65%
376 / 1268
crates/conjure-cp-essence-parser/tests
56.02%
56.02%
293 / 523
56.45%
70 / 124
crates/conjure-cp-lsp/src
0%
0%
0 / 23
0%
0 / 60
crates/conjure-cp-lsp/src/handlers
0%
0%
0 / 78
0%
0 / 72
crates/conjure-cp-rule-macros/src
100%
100%
83 / 83
33.33%
14 / 42
crates/conjure-cp-rules/src
88.08%
88.08%
1781 / 2022
32.82%
380 / 1158
crates/conjure-cp-rules/src/comprehensions
88.89%
88.89%
120 / 135
38.1%
32 / 84
crates/conjure-cp-rules/src/comprehensions/expansion
81.21%
81.21%
415 / 511
28.76%
88 / 306
crates/conjure-cp-rules/src/matrix
87.73%
87.73%
336 / 383
27.61%
82 / 297
crates/conjure-cp-rules/src/normalisers
84.69%
84.69%
354 / 418
41.15%
100 / 243
crates/conjure-cp-rules/src/representation
65.82%
65.82%
391 / 594
13.15%
101 / 768
crates/conjure-cp-rules/src/sat
34.43%
34.43%
534 / 1551
13.4%
84 / 627
crates/conjure-cp-rules/src/sets/horizontal
36.56%
36.56%
34 / 93
44.44%
28 / 63
crates/conjure-cp-rules/src/sets/vertical/literal
90%
90%
18 / 20
44.44%
4 / 9
crates/conjure-cp-rules/src/smt
59.33%
59.33%
213 / 359
17.78%
56 / 315
crates/conjure-cp/tests
83.53%
83.53%
771 / 923
66.67%
68 / 102
crates/minion-sys/src
53.47%
53.47%
432 / 808
21.68%
111 / 512
crates/minion-sys/tests
100%
100%
29 / 29
50%
2 / 4
crates/tree-morph/src
72.32%
72.32%
209 / 289
29.37%
449 / 1529
crates/tree-morph/tests
97.04%
97.04%
426 / 439
50%
49 / 98
crates/tree-sitter-essence/bindings/rust
100%
100%
6 / 6
60%
3 / 5
tests-integration/src
62.14%
62.14%
64 / 103
30.71%
43 / 140
tests-integration/tests
50.47%
50.47%
319 / 632
25.71%
27 / 105