top_level
Lines
74.39 %
Functions
5.89 %
Directory
Line Coverage
Functions
crates/conjure-cp-cli/src
62.21%
62.21%
354 / 569
7.33%
33 / 450
crates/conjure-cp-cli/src/utils
54.67%
54.67%
275 / 503
6.01%
46 / 765
crates/conjure-cp-core/src
72.24%
72.24%
177 / 245
6.61%
75 / 1134
crates/conjure-cp-core/src/ast
67.73%
67.73%
2884 / 4258
3.94%
868 / 22004
crates/conjure-cp-core/src/ast/domains
60.48%
60.48%
1085 / 1794
6.52%
299 / 4584
crates/conjure-cp-core/src/parse
81.6%
81.6%
1011 / 1239
4.15%
84 / 2024
crates/conjure-cp-core/src/rule_engine
71.95%
71.95%
495 / 688
6.26%
106 / 1694
crates/conjure-cp-core/src/solver
59.43%
59.43%
63 / 106
5.1%
21 / 412
crates/conjure-cp-core/src/solver/adaptors/minion
85.05%
85.05%
438 / 515
6.6%
88 / 1334
crates/conjure-cp-core/src/solver/adaptors/rustsat
82.11%
82.11%
234 / 285
3.16%
16 / 506
crates/conjure-cp-core/src/solver/adaptors/smt
74.1%
74.1%
515 / 695
1.38%
125 / 9036
crates/conjure-cp-core/src/stats
86.96%
86.96%
20 / 23
7.27%
8 / 110
crates/conjure-cp-core/src/utils
43.24%
43.24%
16 / 37
1.82%
2 / 110
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
13.89%
10 / 72
crates/conjure-cp-essence-parser/src
77.56%
77.56%
121 / 156
12.87%
35 / 272
crates/conjure-cp-essence-parser/src/diagnostics
78.72%
78.72%
37 / 47
11.7%
11 / 94
crates/conjure-cp-essence-parser/src/diagnostics/error_detection
65.28%
65.28%
47 / 72
4.35%
4 / 92
crates/conjure-cp-essence-parser/src/parser
73.16%
73.16%
1442 / 1971
10.73%
220 / 2050
crates/conjure-cp-essence-parser/tests
83.2%
83.2%
302 / 363
21.34%
35 / 164
crates/conjure-cp-lsp/src
0%
0%
0 / 34
0%
0 / 102
crates/conjure-cp-lsp/src/handlers
0%
0%
0 / 251
0%
0 / 130
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
11.3%
216 / 1912
crates/conjure-cp-rules/src/comprehensions
76.32%
76.32%
261 / 342
7.86%
33 / 420
crates/conjure-cp-rules/src/comprehensions/expansion
78.39%
78.39%
410 / 523
10.14%
70 / 690
crates/conjure-cp-rules/src/matrix
87.73%
87.73%
336 / 383
9.74%
45 / 462
crates/conjure-cp-rules/src/normalisers
84.69%
84.69%
354 / 418
14.02%
53 / 378
crates/conjure-cp-rules/src/representation
79.97%
79.97%
475 / 594
6.83%
86 / 1260
crates/conjure-cp-rules/src/sat
89.64%
89.64%
1281 / 1429
7.24%
77 / 1064
crates/conjure-cp-rules/src/sets/horizontal
36.56%
36.56%
34 / 93
14.29%
14 / 98
crates/conjure-cp-rules/src/sets/vertical/literal
90%
90%
18 / 20
14.29%
2 / 14
crates/conjure-cp-rules/src/smt
69.61%
69.61%
213 / 306
5.71%
28 / 490
crates/conjure-cp/tests
96.62%
96.62%
771 / 798
25%
34 / 136
crates/minion-sys/src
54.62%
54.62%
455 / 833
11.76%
74 / 629
crates/minion-sys/tests
100%
100%
107 / 107
100%
6 / 6
crates/tree-morph/src
72.32%
72.32%
209 / 289
21.04%
449 / 2134
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
89.47%
89.47%
68 / 76
6.16%
17 / 276
tests-integration/tests
65.28%
65.28%
329 / 504
13.26%
24 / 181