top_level
Lines
75.07 %
Functions
11.25 %
Directory
Line Coverage
Functions
crates/conjure-cp-cli/src
68.05%
68.05%
262 / 385
18.06%
26 / 144
crates/conjure-cp-cli/src/utils
38.85%
38.85%
183 / 471
13.48%
38 / 282
crates/conjure-cp-core/src
69.76%
69.76%
143 / 205
12.35%
62 / 502
crates/conjure-cp-core/src/ast
66.35%
66.35%
2838 / 4277
6.66%
655 / 9832
crates/conjure-cp-core/src/ast/domains
62.18%
62.18%
1067 / 1716
10.71%
223 / 2083
crates/conjure-cp-core/src/parse
95.18%
95.18%
1006 / 1057
7.93%
73 / 920
crates/conjure-cp-core/src/rule_engine
76.72%
76.72%
458 / 597
13.07%
98 / 750
crates/conjure-cp-core/src/solver
59.43%
59.43%
63 / 106
11.41%
21 / 184
crates/conjure-cp-core/src/solver/adaptors/minion
86.75%
86.75%
419 / 483
12.29%
72 / 586
crates/conjure-cp-core/src/solver/adaptors/rustsat
82.11%
82.11%
234 / 285
6.96%
16 / 230
crates/conjure-cp-core/src/solver/adaptors/smt
74.7%
74.7%
496 / 664
3.03%
121 / 3992
crates/conjure-cp-core/src/stats
86.96%
86.96%
20 / 23
16%
8 / 50
crates/conjure-cp-core/src/utils
43.24%
43.24%
16 / 37
4%
2 / 50
crates/conjure-cp-enum-compatibility-macro/src
100%
100%
62 / 62
28.57%
8 / 28
crates/conjure-cp-essence-macros/src
78.13%
78.13%
50 / 64
27.78%
10 / 36
crates/conjure-cp-essence-parser/src
81.42%
81.42%
92 / 113
20%
24 / 120
crates/conjure-cp-essence-parser/src/diagnostics
92.5%
92.5%
37 / 40
27.5%
11 / 40
crates/conjure-cp-essence-parser/src/diagnostics/error_detection
79.66%
79.66%
47 / 59
10%
4 / 40
crates/conjure-cp-essence-parser/src/parser
70.52%
70.52%
1318 / 1869
23.09%
206 / 892
crates/conjure-cp-essence-parser/tests
82.77%
82.77%
293 / 354
42.68%
35 / 82
crates/conjure-cp-lsp/src
0%
0%
0 / 23
0%
0 / 40
crates/conjure-cp-lsp/src/handlers
0%
0%
0 / 78
0%
0 / 48
crates/conjure-cp-rule-macros/src
100%
100%
83 / 83
28.57%
14 / 49
crates/conjure-cp-rules/src
90.83%
90.83%
1774 / 1953
23.41%
192 / 820
crates/conjure-cp-rules/src/comprehensions
76.32%
76.32%
261 / 342
17.22%
31 / 180
crates/conjure-cp-rules/src/comprehensions/expansion
81.21%
81.21%
415 / 511
14.38%
44 / 306
crates/conjure-cp-rules/src/matrix
87.73%
87.73%
336 / 383
20.71%
41 / 198
crates/conjure-cp-rules/src/normalisers
84.69%
84.69%
354 / 418
30.86%
50 / 162
crates/conjure-cp-rules/src/representation
79.97%
79.97%
475 / 594
13.89%
75 / 540
crates/conjure-cp-rules/src/sat
86.48%
86.48%
1203 / 1391
16.9%
73 / 432
crates/conjure-cp-rules/src/sets/horizontal
36.56%
36.56%
34 / 93
33.33%
14 / 42
crates/conjure-cp-rules/src/sets/vertical/literal
90%
90%
18 / 20
33.33%
2 / 6
crates/conjure-cp-rules/src/smt
69.61%
69.61%
213 / 306
13.33%
28 / 210
crates/conjure-cp/tests
96.62%
96.62%
771 / 798
50%
34 / 68
crates/minion-sys/src
54.62%
54.62%
455 / 833
15.15%
60 / 396
crates/minion-sys/tests
100%
100%
107 / 107
50%
6 / 12
crates/tree-morph/src
72.32%
72.32%
209 / 289
33.96%
449 / 1322
crates/tree-morph/tests
97.04%
97.04%
426 / 439
50%
49 / 98
crates/tree-sitter-essence/bindings/rust
100%
100%
6 / 6
100%
3 / 3
tests-integration/src
90.79%
90.79%
69 / 76
19.53%
25 / 128
tests-integration/tests
58.11%
58.11%
308 / 530
26.39%
19 / 72