top_level
Lines
77.86 %
Functions
19.01 %
Directory
Line Coverage
Functions
crates/conjure-cp-cli/src
80%
80%
448 / 560
25.19%
65 / 258
crates/conjure-cp-cli/src/utils
57.57%
57.57%
365 / 634
22.18%
110 / 496
crates/conjure-cp-core/src
72.77%
72.77%
155 / 213
24.18%
148 / 612
crates/conjure-cp-core/src/ast
71.5%
71.5%
3058 / 4277
14.6%
1778 / 12180
crates/conjure-cp-core/src/ast/domains
62.02%
62.02%
1112 / 1793
23.92%
597 / 2496
crates/conjure-cp-core/src/parse
98.31%
98.31%
1219 / 1240
15.22%
168 / 1104
crates/conjure-cp-core/src/rule_engine
78.23%
78.23%
503 / 643
23.36%
217 / 929
crates/conjure-cp-core/src/solver
59.43%
59.43%
63 / 106
18.42%
42 / 228
crates/conjure-cp-core/src/solver/adaptors/minion
86.21%
86.21%
444 / 515
24.18%
176 / 728
crates/conjure-cp-core/src/solver/adaptors/rustsat
83.56%
83.56%
554 / 663
12.81%
51 / 398
crates/conjure-cp-core/src/solver/adaptors/smt
79.82%
79.82%
866 / 1085
5.42%
294 / 5427
crates/conjure-cp-core/src/stats
86.96%
86.96%
20 / 23
30%
18 / 60
crates/conjure-cp-core/src/utils
43.24%
43.24%
16 / 37
6.67%
4 / 60
crates/conjure-cp-enum-compatibility-macro/src
100%
100%
62 / 62
66.67%
8 / 12
crates/conjure-cp-essence-macros/src
78.13%
78.13%
50 / 64
50%
18 / 36
crates/conjure-cp-essence-parser/src
81.42%
81.42%
92 / 113
34.03%
49 / 144
crates/conjure-cp-essence-parser/src/diagnostics
78.72%
78.72%
37 / 47
40.74%
22 / 54
crates/conjure-cp-essence-parser/src/diagnostics/error_detection
65.28%
65.28%
47 / 72
15.38%
8 / 52
crates/conjure-cp-essence-parser/src/parser
79.94%
79.94%
1546 / 1934
39.18%
429 / 1095
crates/conjure-cp-essence-parser/tests
84.24%
84.24%
326 / 387
85.37%
70 / 82
crates/conjure-cp-lsp/src
0%
0%
0 / 34
0%
0 / 62
crates/conjure-cp-lsp/src/handlers
0%
0%
0 / 251
0%
0 / 82
crates/conjure-cp-rule-macros/src
100%
100%
83 / 83
66.67%
14 / 21
crates/conjure-cp-rules/src
90.89%
90.89%
1775 / 1953
39.56%
432 / 1092
crates/conjure-cp-rules/src/comprehensions
76.32%
76.32%
261 / 342
27.5%
66 / 240
crates/conjure-cp-rules/src/comprehensions/expansion
83.59%
83.59%
438 / 524
35.07%
141 / 402
crates/conjure-cp-rules/src/matrix
87.73%
87.73%
336 / 383
34.09%
90 / 264
crates/conjure-cp-rules/src/normalisers
84.69%
84.69%
354 / 418
49.07%
106 / 216
crates/conjure-cp-rules/src/representation
79.97%
79.97%
475 / 594
23.89%
172 / 720
crates/conjure-cp-rules/src/sat
89.64%
89.64%
1281 / 1429
25.33%
154 / 608
crates/conjure-cp-rules/src/sets/horizontal
36.56%
36.56%
34 / 93
50%
28 / 56
crates/conjure-cp-rules/src/sets/vertical/literal
90%
90%
18 / 20
50%
4 / 8
crates/conjure-cp-rules/src/smt
69.61%
69.61%
213 / 306
20%
56 / 280
crates/conjure-cp/tests
96.62%
96.62%
771 / 798
100%
68 / 68
crates/minion-sys/src
54.62%
54.62%
455 / 833
30.92%
145 / 469
crates/minion-sys/tests
100%
100%
107 / 107
100%
6 / 6
crates/tree-morph/src
72.32%
72.32%
209 / 289
24.68%
449 / 1819
crates/tree-morph/tests
97.04%
97.04%
426 / 439
33.33%
49 / 147
crates/tree-sitter-essence/bindings/rust
100%
100%
6 / 6
75%
3 / 4
tests-integration/src
90.79%
90.79%
69 / 76
21.79%
34 / 156
tests-integration/tests
69.84%
69.84%
345 / 494
34.29%
36 / 105