top_level
Lines
75.42 %
Functions
7.48 %
Directory
Line Coverage
Functions
crates/conjure-cp-cli/src
70.13%
70.13%
385 / 549
9.62%
35 / 364
crates/conjure-cp-cli/src/utils
54.67%
54.67%
275 / 503
7.52%
46 / 612
crates/conjure-cp-core/src
68.08%
68.08%
145 / 213
8.23%
71 / 863
crates/conjure-cp-core/src/ast
67.92%
67.92%
2892 / 4258
5.07%
864 / 17053
crates/conjure-cp-core/src/ast/domains
61.04%
61.04%
1095 / 1794
8.56%
303 / 3540
crates/conjure-cp-core/src/parse
81.6%
81.6%
1011 / 1239
5.37%
84 / 1564
crates/conjure-cp-core/src/rule_engine
71.95%
71.95%
495 / 688
8.02%
105 / 1309
crates/conjure-cp-core/src/solver
59.43%
59.43%
63 / 106
6.56%
21 / 320
crates/conjure-cp-core/src/solver/adaptors/minion
85.05%
85.05%
438 / 515
8.54%
88 / 1031
crates/conjure-cp-core/src/solver/adaptors/rustsat
82.11%
82.11%
234 / 285
4.09%
16 / 391
crates/conjure-cp-core/src/solver/adaptors/smt
74.1%
74.1%
515 / 695
1.78%
125 / 7015
crates/conjure-cp-core/src/stats
86.96%
86.96%
20 / 23
9.41%
8 / 85
crates/conjure-cp-core/src/utils
43.24%
43.24%
16 / 37
2.35%
2 / 85
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
18.52%
10 / 54
crates/conjure-cp-essence-parser/src
81.42%
81.42%
92 / 113
12.25%
25 / 204
crates/conjure-cp-essence-parser/src/diagnostics
78.72%
78.72%
37 / 47
14.86%
11 / 74
crates/conjure-cp-essence-parser/src/diagnostics/error_detection
65.28%
65.28%
47 / 72
5.56%
4 / 72
crates/conjure-cp-essence-parser/src/parser
80.31%
80.31%
1583 / 1971
14.35%
227 / 1582
crates/conjure-cp-essence-parser/tests
83.2%
83.2%
302 / 363
28.46%
35 / 123
crates/conjure-cp-lsp/src
0%
0%
0 / 34
0%
0 / 82
crates/conjure-cp-lsp/src/handlers
0%
0%
0 / 251
0%
0 / 106
crates/conjure-cp-rule-macros/src
100%
100%
83 / 83
66.67%
14 / 21
crates/conjure-cp-rules/src
91.5%
91.5%
1787 / 1953
14.38%
216 / 1502
crates/conjure-cp-rules/src/comprehensions
76.9%
76.9%
263 / 342
10%
33 / 330
crates/conjure-cp-rules/src/comprehensions/expansion
78.39%
78.39%
410 / 523
12.89%
70 / 543
crates/conjure-cp-rules/src/matrix
87.73%
87.73%
336 / 383
12.4%
45 / 363
crates/conjure-cp-rules/src/normalisers
85.89%
85.89%
359 / 418
17.85%
53 / 297
crates/conjure-cp-rules/src/representation
79.97%
79.97%
475 / 594
8.69%
86 / 990
crates/conjure-cp-rules/src/sat
89.64%
89.64%
1281 / 1429
9.21%
77 / 836
crates/conjure-cp-rules/src/sets/horizontal
36.56%
36.56%
34 / 93
18.18%
14 / 77
crates/conjure-cp-rules/src/sets/vertical/literal
90%
90%
18 / 20
18.18%
2 / 11
crates/conjure-cp-rules/src/smt
69.61%
69.61%
213 / 306
7.27%
28 / 385
crates/conjure-cp/tests
96.62%
96.62%
771 / 798
33.33%
34 / 102
crates/minion-sys/src
54.62%
54.62%
455 / 833
12.15%
74 / 609
crates/minion-sys/tests
100%
100%
107 / 107
100%
6 / 6
crates/tree-morph/src
72.32%
72.32%
209 / 289
22.56%
449 / 1990
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
7.87%
17 / 216
tests-integration/tests
67.95%
67.95%
301 / 443
12.86%
18 / 140