top_level
Lines
76.84 %
Functions
25.35 %
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.14%
40 / 153
crates/conjure-cp-core/src
69.76%
69.76%
143 / 205
28.29%
71 / 251
crates/conjure-cp-core/src/ast
69.93%
69.93%
2849 / 4074
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.53%
106 / 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
86.75%
86.75%
419 / 483
29.69%
87 / 293
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
74.7%
74.7%
496 / 664
6.06%
121 / 1996
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
75.4%
75.4%
1318 / 1748
45.68%
206 / 451
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.83%
90.83%
1774 / 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.18%
89.18%
1203 / 1349
33.8%
73 / 216
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
90.79%
90.79%
69 / 76
39.06%
25 / 64
tests-integration/tests
68.44%
68.44%
308 / 450
50%
18 / 36