top_level
Lines
66.82 %
Functions
20.43 %
Directory
Line Coverage
Functions
crates/conjure-cp-cli/src
63.82%
63.82%
247 / 387
34.72%
25 / 72
crates/conjure-cp-cli/src/utils
46.42%
46.42%
227 / 489
26.67%
40 / 150
crates/conjure-cp-core/src
63.79%
63.79%
111 / 174
22.06%
30 / 136
crates/conjure-cp-core/src/ast
68.2%
68.2%
2681 / 3931
12.82%
625 / 4874
crates/conjure-cp-core/src/ast/domains
60.82%
60.82%
1037 / 1705
20.5%
214 / 1044
crates/conjure-cp-core/src/parse
95.2%
95.2%
971 / 1020
13.19%
60 / 455
crates/conjure-cp-core/src/rule_engine
71.99%
71.99%
406 / 564
24.93%
86 / 345
crates/conjure-cp-core/src/solver
59.43%
59.43%
63 / 106
20.65%
19 / 92
crates/conjure-cp-core/src/solver/adaptors/minion
85.82%
85.82%
363 / 423
26.05%
62 / 238
crates/conjure-cp-core/src/solver/adaptors/rustsat
0%
0%
0 / 285
0%
0 / 115
crates/conjure-cp-core/src/solver/adaptors/smt
74.54%
74.54%
483 / 648
5.96%
118 / 1981
crates/conjure-cp-core/src/stats
86.96%
86.96%
20 / 23
32%
8 / 25
crates/conjure-cp-core/src/utils
43.24%
43.24%
16 / 37
8%
2 / 25
crates/conjure-cp-enum-compatibility-macro/src
100%
100%
62 / 62
66.67%
8 / 12
crates/conjure-cp-essence-macros/src
60.26%
60.26%
47 / 78
55.56%
10 / 18
crates/conjure-cp-essence-parser/src
77.78%
77.78%
28 / 36
46.67%
7 / 15
crates/conjure-cp-essence-parser/src/diagnostics
0%
0%
0 / 6
0%
0 / 5
crates/conjure-cp-essence-parser/src/diagnostics/error_detection
83.64%
83.64%
225 / 269
29.81%
31 / 104
crates/conjure-cp-essence-parser/src/parser
57.26%
57.26%
808 / 1411
40.43%
152 / 376
crates/conjure-cp-essence-parser/tests
82.69%
82.69%
301 / 364
85.37%
35 / 41
crates/conjure-cp-lsp/src
0%
0%
0 / 23
0%
0 / 20
crates/conjure-cp-lsp/src/handlers
0%
0%
0 / 78
0%
0 / 24
crates/conjure-cp-rule-macros/src
100%
100%
83 / 83
66.67%
14 / 21
crates/conjure-cp-rules/src
92.69%
92.69%
1624 / 1752
48.57%
170 / 350
crates/conjure-cp-rules/src/comprehensions
83.02%
83.02%
44 / 53
66.67%
6 / 9
crates/conjure-cp-rules/src/comprehensions/expansion
63.98%
63.98%
286 / 447
21.3%
23 / 108
crates/conjure-cp-rules/src/matrix
87.99%
87.99%
337 / 383
41.41%
41 / 99
crates/conjure-cp-rules/src/normalisers
84.93%
84.93%
355 / 418
61.73%
50 / 81
crates/conjure-cp-rules/src/representation
37.37%
37.37%
222 / 594
14.07%
38 / 270
crates/conjure-cp-rules/src/sat
8.24%
8.24%
107 / 1298
14.08%
30 / 213
crates/conjure-cp-rules/src/sets/horizontal
36.56%
36.56%
34 / 93
66.67%
14 / 21
crates/conjure-cp-rules/src/sets/vertical/literal
90%
90%
18 / 20
66.67%
2 / 3
crates/conjure-cp-rules/src/smt
69.61%
69.61%
213 / 306
26.67%
28 / 105
crates/conjure-cp/tests
96.67%
96.67%
785 / 812
100%
34 / 34
crates/minion-sys/src
53.47%
53.47%
432 / 808
30%
57 / 190
crates/minion-sys/tests
100%
100%
29 / 29
100%
2 / 2
crates/tree-morph/src
72.32%
72.32%
209 / 289
56.91%
449 / 789
crates/tree-morph/tests
97.04%
97.04%
426 / 439
100%
49 / 49
crates/tree-sitter-essence/bindings/rust
100%
100%
6 / 6
100%
3 / 3
tests-integration/src
88.24%
88.24%
60 / 68
33.96%
18 / 53
tests-integration/tests
68.95%
68.95%
282 / 409
52%
13 / 25