top_level
Lines
78.06 %
Functions
25.6 %
Directory
Line Coverage
Functions
crates/conjure-cp-cli/src
84.9%
84.9%
489 / 576
41.13%
51 / 124
crates/conjure-cp-cli/src/utils
63.31%
63.31%
383 / 605
35.18%
70 / 199
crates/conjure-cp-core/src
72.14%
72.14%
277 / 384
31.46%
123 / 391
crates/conjure-cp-core/src/ast
67.64%
67.64%
3257 / 4815
20.15%
1085 / 5384
crates/conjure-cp-core/src/ast/domains
67.2%
67.2%
1170 / 1741
30.22%
320 / 1059
crates/conjure-cp-core/src/parse
95.4%
95.4%
996 / 1044
21.36%
94 / 440
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
85.77%
85.77%
434 / 506
29.53%
88 / 298
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
47.06%
32 / 68
crates/conjure-cp-essence-parser/src/diagnostics
82.98%
82.98%
39 / 47
31.43%
11 / 35
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
85.69%
85.69%
2174 / 2537
53.44%
311 / 582
crates/conjure-cp-essence-parser/tests
83.82%
83.82%
347 / 414
85.71%
36 / 42
crates/conjure-cp-lsp/src
0%
0%
0 / 24
0%
0 / 22
crates/conjure-cp-lsp/src/handlers
0%
0%
0 / 262
0%
0 / 42
crates/conjure-cp-rule-macros/src
100%
100%
99 / 99
66.67%
10 / 15
crates/conjure-cp-rules/src
92.23%
92.23%
1817 / 1970
54.44%
227 / 417
crates/conjure-cp-rules/src/comprehensions
77.68%
77.68%
275 / 354
41.11%
37 / 90
crates/conjure-cp-rules/src/comprehensions/expansion
81.8%
81.8%
409 / 500
55.78%
82 / 147
crates/conjure-cp-rules/src/matrix
88.42%
88.42%
374 / 423
57.66%
64 / 111
crates/conjure-cp-rules/src/normalisers
86.84%
86.84%
363 / 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.56%
89.56%
1330 / 1485
33.76%
79 / 234
crates/conjure-cp-rules/src/sets/horizontal
70.5%
70.5%
141 / 200
56.41%
22 / 39
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
39.81%
43 / 108
crates/conjure-cp/tests
96.62%
96.62%
771 / 798
100%
34 / 34
crates/minion-sys/src
55.51%
55.51%
489 / 881
38.03%
81 / 213
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
80.49%
80.49%
99 / 123
36.84%
28 / 76
tests-integration/tests
74.35%
74.35%
374 / 503
64.29%
27 / 42