top_level
Lines
77 %
Functions
25.27 %
Directory
Line Coverage
Functions
crates/conjure-cp-cli/src
70.88%
70.88%
297 / 419
36.59%
30 / 82
crates/conjure-cp-cli/src/utils
41.1%
41.1%
201 / 489
26.8%
41 / 153
crates/conjure-cp-core/src
70.73%
70.73%
145 / 205
28.29%
71 / 251
crates/conjure-cp-core/src/ast
69.93%
69.93%
2853 / 4080
17.46%
859 / 4921
crates/conjure-cp-core/src/ast/domains
63.11%
63.11%
1083 / 1716
28.64%
299 / 1044
crates/conjure-cp-core/src/parse
95.27%
95.27%
1007 / 1057
18.26%
84 / 460
crates/conjure-cp-core/src/rule_engine
78.08%
78.08%
495 / 634
27.27%
105 / 385
crates/conjure-cp-core/src/solver
59.43%
59.43%
63 / 106
22.83%
21 / 92
crates/conjure-cp-core/src/solver/adaptors/minion
85.66%
85.66%
436 / 509
29.04%
88 / 303
crates/conjure-cp-core/src/solver/adaptors/rustsat
82.11%
82.11%
234 / 285
13.91%
16 / 115
crates/conjure-cp-core/src/solver/adaptors/smt
73.96%
73.96%
514 / 695
6.09%
123 / 2021
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
78.13%
78.13%
50 / 64
55.56%
10 / 18
crates/conjure-cp-essence-parser/src
81.42%
81.42%
92 / 113
40%
24 / 60
crates/conjure-cp-essence-parser/src/diagnostics
92.5%
92.5%
37 / 40
55%
11 / 20
crates/conjure-cp-essence-parser/src/diagnostics/error_detection
79.66%
79.66%
47 / 59
20%
4 / 20
crates/conjure-cp-essence-parser/src/parser
76.6%
76.6%
1362 / 1778
45.61%
208 / 456
crates/conjure-cp-essence-parser/tests
82.77%
82.77%
293 / 354
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
90.89%
90.89%
1775 / 1953
52.68%
216 / 410
crates/conjure-cp-rules/src/comprehensions
76.32%
76.32%
261 / 342
36.67%
33 / 90
crates/conjure-cp-rules/src/comprehensions/expansion
81.21%
81.21%
415 / 511
46.41%
71 / 153
crates/conjure-cp-rules/src/matrix
87.73%
87.73%
336 / 383
45.45%
45 / 99
crates/conjure-cp-rules/src/normalisers
84.69%
84.69%
354 / 418
65.43%
53 / 81
crates/conjure-cp-rules/src/representation
79.97%
79.97%
475 / 594
31.85%
86 / 270
crates/conjure-cp-rules/src/sat
89.79%
89.79%
1310 / 1459
33.77%
78 / 231
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.62%
96.62%
771 / 798
100%
34 / 34
crates/minion-sys/src
54.62%
54.62%
455 / 833
37.19%
74 / 199
crates/minion-sys/tests
100%
100%
107 / 107
100%
6 / 6
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
89.47%
89.47%
68 / 76
28.33%
17 / 60
tests-integration/tests
67.95%
67.95%
301 / 443
54.29%
19 / 35