top_level
Lines
75.29 %
Functions
23.96 %
Directory
Line Coverage
Functions
crates/conjure-cp-cli/src
82.91%
82.91%
485 / 585
40.48%
51 / 126
crates/conjure-cp-cli/src/utils
63.31%
63.31%
383 / 605
35.18%
70 / 199
crates/conjure-cp-core/src
70.57%
70.57%
271 / 384
31.46%
123 / 391
crates/conjure-cp-core/src/ast
64.73%
64.73%
3566 / 5509
17.39%
1111 / 6387
crates/conjure-cp-core/src/ast/domains
66.04%
66.04%
1519 / 2300
28.91%
394 / 1363
crates/conjure-cp-core/src/parse
95.62%
95.62%
1289 / 1348
24.39%
139 / 570
crates/conjure-cp-core/src/rule_engine
79.1%
79.1%
666 / 842
27.16%
129 / 475
crates/conjure-cp-core/src/solver
59.43%
59.43%
63 / 106
25%
23 / 92
crates/conjure-cp-core/src/solver/adaptors/minion
57.87%
57.87%
680 / 1175
15.68%
111 / 708
crates/conjure-cp-core/src/solver/adaptors/rustsat
73.78%
73.78%
484 / 656
14.61%
39 / 267
crates/conjure-cp-core/src/solver/adaptors/smt
77.32%
77.32%
808 / 1045
7.58%
186 / 2454
crates/conjure-cp-core/src/stats
86.96%
86.96%
20 / 23
40%
10 / 25
crates/conjure-cp-core/src/utils
43.24%
43.24%
16 / 37
8%
2 / 25
crates/conjure-cp-enum-compatibility-macro/src
97.67%
97.67%
84 / 86
66.67%
14 / 21
crates/conjure-cp-essence-macros/src
80.28%
80.28%
57 / 71
55.56%
10 / 18
crates/conjure-cp-essence-parser/src
87.68%
87.68%
121 / 138
51.47%
35 / 68
crates/conjure-cp-essence-parser/src/diagnostics
24.53%
24.53%
39 / 159
14.67%
11 / 75
crates/conjure-cp-essence-parser/src/diagnostics/error_detection
81.48%
81.48%
44 / 54
20%
5 / 25
crates/conjure-cp-essence-parser/src/parser
84.95%
84.95%
2415 / 2843
51.9%
328 / 632
crates/conjure-cp-essence-parser/tests
83.82%
83.82%
347 / 414
85.71%
36 / 42
crates/conjure-cp-lsp/src
0%
0%
0 / 26
0%
0 / 24
crates/conjure-cp-lsp/src/handlers
0%
0%
0 / 399
0%
0 / 66
crates/conjure-cp-rule-macros/src
100%
100%
99 / 99
66.67%
10 / 15
crates/conjure-cp-rules/src
92.35%
92.35%
1858 / 2012
53.61%
230 / 429
crates/conjure-cp-rules/src/comprehensions
72.37%
72.37%
275 / 380
41.11%
37 / 90
crates/conjure-cp-rules/src/comprehensions/expansion
82.58%
82.58%
455 / 551
54.76%
92 / 168
crates/conjure-cp-rules/src/matrix
88.42%
88.42%
374 / 423
57.66%
64 / 111
crates/conjure-cp-rules/src/normalisers
86.36%
86.36%
361 / 418
66.67%
54 / 81
crates/conjure-cp-rules/src/representation
79.97%
79.97%
475 / 594
32.96%
89 / 270
crates/conjure-cp-rules/src/sat
89.68%
89.68%
1364 / 1521
33.76%
80 / 237
crates/conjure-cp-rules/src/sets/horizontal
69.07%
69.07%
134 / 194
66.67%
20 / 30
crates/conjure-cp-rules/src/sets/vertical/literal
90%
90%
18 / 20
66.67%
2 / 3
crates/conjure-cp-rules/src/smt
69.71%
69.71%
214 / 307
37.04%
40 / 108
crates/conjure-cp/tests
96.62%
96.62%
771 / 798
100%
34 / 34
crates/minion-sys/src
56.65%
56.65%
622 / 1098
41.86%
108 / 258
crates/minion-sys/tests
97.27%
97.27%
107 / 110
100%
6 / 6
crates/tree-morph-macros/src
78.79%
78.79%
26 / 33
33.33%
2 / 6
crates/tree-morph/src
74.29%
74.29%
835 / 1124
25.68%
570 / 2220
crates/tree-morph/tests
97.75%
97.75%
564 / 577
100%
66 / 66
crates/tree-sitter-essence/bindings/rust
100%
100%
6 / 6
100%
3 / 3
tests-integration/src
64.97%
64.97%
115 / 177
29.82%
34 / 114
tests-integration/tests
73.18%
73.18%
382 / 522
64.29%
27 / 42