Directory Line Coverage Functions
crates/conjure-cp-cli/src 82.04% 82.04% 603 / 735 49.33% 74 / 150
crates/conjure-cp-cli/src/utils 66.35% 66.35% 1037 / 1563 36.82% 204 / 554
crates/conjure-cp-core/src 85.82% 85.82% 1059 / 1234 39.91% 368 / 922
crates/conjure-cp-core/src/ast 82.15% 82.15% 7907 / 9625 28.85% 2877 / 9971
crates/conjure-cp-core/src/ast/domains 72.63% 72.63% 2850 / 3924 32.64% 769 / 2356
crates/conjure-cp-core/src/parse 80.7% 80.7% 1275 / 1580 25.43% 179 / 704
crates/conjure-cp-core/src/representation 67.39% 67.39% 401 / 595 34.77% 2379 / 6842
crates/conjure-cp-core/src/rule_engine 88.02% 88.02% 3645 / 4141 36.35% 622 / 1711
crates/conjure-cp-core/src/solver 60.75% 60.75% 65 / 107 28.87% 28 / 97
crates/conjure-cp-core/src/solver/adaptors 100% 100% 22 / 22 48.15% 13 / 27
crates/conjure-cp-core/src/solver/adaptors/minion 69.6% 69.6% 1115 / 1602 21% 197 / 938
crates/conjure-cp-core/src/solver/adaptors/rustsat 81.66% 81.66% 659 / 807 27.57% 102 / 370
crates/conjure-cp-core/src/solver/adaptors/rustsat/decisions 86.88% 86.88% 2080 / 2394 22.97% 232 / 1010
crates/conjure-cp-core/src/solver/adaptors/smt 79.73% 79.73% 1117 / 1401 12.37% 309 / 2498
crates/conjure-cp-core/src/stats 87.5% 87.5% 21 / 24 40% 10 / 25
crates/conjure-cp-core/src/utils 46.77% 46.77% 145 / 310 10.75% 33 / 307
crates/conjure-cp-enum-compatibility-macro/src 97.44% 97.44% 76 / 78 66.67% 14 / 21
crates/conjure-cp-essence-macros/src 80% 80% 56 / 70 55.56% 10 / 18
crates/conjure-cp-essence-parser/src 88.81% 88.81% 119 / 134 52.94% 36 / 68
crates/conjure-cp-essence-parser/src/diagnostics 24.68% 24.68% 39 / 158 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 80.69% 80.69% 4204 / 5210 47.65% 508 / 1066
crates/conjure-cp-essence-parser/tests 99.68% 99.68% 625 / 627 96.3% 52 / 54
crates/conjure-cp-lsp/src 0% 0% 0 / 26 0% 0 / 24
crates/conjure-cp-lsp/src/handlers 0% 0% 0 / 393 0% 0 / 66
crates/conjure-cp-rule-macros/src 74.07% 74.07% 460 / 621 64.86% 96 / 148
crates/conjure-cp-rules/src/backends/minion 80.42% 80.42% 1807 / 2247 54.17% 247 / 456
crates/conjure-cp-rules/src/backends/sat 88.99% 88.99% 1237 / 1390 48.6% 191 / 393
crates/conjure-cp-rules/src/backends/sat/int 98.73% 98.73% 310 / 314 49.52% 52 / 105
crates/conjure-cp-rules/src/backends/sat/int/direct 94.16% 94.16% 145 / 154 38.89% 7 / 18
crates/conjure-cp-rules/src/backends/sat/int/log 98.4% 98.4% 675 / 686 36.11% 39 / 108
crates/conjure-cp-rules/src/backends/sat/int/order 95.71% 95.71% 67 / 70 41.67% 5 / 12
crates/conjure-cp-rules/src/backends/smt 62.96% 62.96% 204 / 324 36.26% 33 / 91
crates/conjure-cp-rules/src/passes 89.06% 89.06% 1506 / 1691 60.67% 270 / 445
crates/conjure-cp-rules/src/passes/comprehensions 92.41% 92.41% 73 / 79 66.67% 14 / 21
crates/conjure-cp-rules/src/passes/comprehensions/expansion 81.17% 81.17% 1285 / 1583 60.66% 239 / 394
crates/conjure-cp-rules/src/passes/normalisers 88.99% 88.99% 501 / 563 72.22% 91 / 126
crates/conjure-cp-rules/src/shared 86.14% 86.14% 466 / 541 41.74% 134 / 321
crates/conjure-cp-rules/src/types 68.25% 68.25% 43 / 63 50% 18 / 36
crates/conjure-cp-rules/src/types/function 93.62% 93.62% 44 / 47 38.89% 7 / 18
crates/conjure-cp-rules/src/types/function/as_relation 87.15% 87.15% 156 / 179 30.77% 24 / 78
crates/conjure-cp-rules/src/types/function/as_relation/vertical 94.59% 94.59% 70 / 74 50% 6 / 12
crates/conjure-cp-rules/src/types/function/explicit 92.35% 92.35% 181 / 196 43.33% 26 / 60
crates/conjure-cp-rules/src/types/function/explicit/vertical 95.54% 95.54% 107 / 112 60.71% 17 / 28
crates/conjure-cp-rules/src/types/function/packed 88.52% 88.52% 316 / 357 36.67% 44 / 120
crates/conjure-cp-rules/src/types/int 84.03% 84.03% 121 / 144 58.33% 42 / 72
crates/conjure-cp-rules/src/types/int/bv 75.56% 75.56% 34 / 45 60.61% 20 / 33
crates/conjure-cp-rules/src/types/int/direct 68.35% 68.35% 54 / 79 33.33% 20 / 60
crates/conjure-cp-rules/src/types/int/lia 75% 75% 33 / 44 63.64% 21 / 33
crates/conjure-cp-rules/src/types/int/log 77.33% 77.33% 58 / 75 50.98% 26 / 51
crates/conjure-cp-rules/src/types/int/offset 70.45% 70.45% 31 / 44 50% 21 / 42
crates/conjure-cp-rules/src/types/int/order 68.67% 68.67% 57 / 83 48.89% 22 / 45
crates/conjure-cp-rules/src/types/int/rank 69.05% 69.05% 29 / 42 50% 21 / 42
crates/conjure-cp-rules/src/types/int/sign_magnitude 76.19% 76.19% 48 / 63 50% 24 / 48
crates/conjure-cp-rules/src/types/matrix 83.14% 83.14% 286 / 344 47.62% 50 / 105
crates/conjure-cp-rules/src/types/matrix/array 89.47% 89.47% 68 / 76 64.1% 25 / 39
crates/conjure-cp-rules/src/types/matrix/components 90.21% 90.21% 525 / 582 70.83% 119 / 168
crates/conjure-cp-rules/src/types/matrix/packed 81.82% 81.82% 126 / 154 30.53% 29 / 95
crates/conjure-cp-rules/src/types/mset 96.67% 96.67% 29 / 30 66.67% 6 / 9
crates/conjure-cp-rules/src/types/mset/counts 80.99% 80.99% 213 / 263 39.08% 34 / 87
crates/conjure-cp-rules/src/types/mset/counts/vertical 69.57% 69.57% 192 / 276 37.93% 33 / 87
crates/conjure-cp-rules/src/types/mset/occurrence 62.6% 62.6% 77 / 123 34.38% 33 / 96
crates/conjure-cp-rules/src/types/mset/occurrence/vertical 36.42% 36.42% 55 / 151 28.07% 16 / 57
crates/conjure-cp-rules/src/types/mset/packed 85.63% 85.63% 137 / 160 39.58% 38 / 96
crates/conjure-cp-rules/src/types/mset/packed/vertical 35.9% 35.9% 56 / 156 29.63% 16 / 54
crates/conjure-cp-rules/src/types/mset/repetition 86.9% 86.9% 146 / 168 46.91% 38 / 81
crates/conjure-cp-rules/src/types/mset/repetition/vertical 48.48% 48.48% 64 / 132 28.07% 16 / 57
crates/conjure-cp-rules/src/types/partition 79.49% 79.49% 283 / 356 45.45% 60 / 132
crates/conjure-cp-rules/src/types/partition/as_set 91.93% 91.93% 148 / 161 36.67% 22 / 60
crates/conjure-cp-rules/src/types/partition/as_set/vertical 29.85% 29.85% 20 / 67 25% 6 / 24
crates/conjure-cp-rules/src/types/partition/occurrence 91.3% 91.3% 231 / 253 35.63% 31 / 87
crates/conjure-cp-rules/src/types/partition/packed 92.21% 92.21% 213 / 231 33.33% 32 / 96
crates/conjure-cp-rules/src/types/permutation 98.28% 98.28% 57 / 58 100% 9 / 9
crates/conjure-cp-rules/src/types/permutation/as_function 98.11% 98.11% 156 / 159 51.11% 23 / 45
crates/conjure-cp-rules/src/types/permutation/as_function/vertical 97.83% 97.83% 270 / 276 94.87% 37 / 39
crates/conjure-cp-rules/src/types/record 88.42% 88.42% 84 / 95 59.38% 19 / 32
crates/conjure-cp-rules/src/types/record/components 89% 89% 178 / 200 58.46% 38 / 65
crates/conjure-cp-rules/src/types/record/packed 78.12% 78.12% 307 / 393 40% 70 / 175
crates/conjure-cp-rules/src/types/relation 92.38% 92.38% 206 / 223 21.87% 187 / 855
crates/conjure-cp-rules/src/types/relation/as_set 81.82% 81.82% 54 / 66 44.44% 16 / 36
crates/conjure-cp-rules/src/types/relation/as_set/vertical 89.13% 89.13% 82 / 92 50% 15 / 30
crates/conjure-cp-rules/src/types/relation/occurrence 80.12% 80.12% 137 / 171 46.91% 38 / 81
crates/conjure-cp-rules/src/types/relation/occurrence/vertical 94.27% 94.27% 148 / 157 52.27% 23 / 44
crates/conjure-cp-rules/src/types/relation/packed 74.89% 74.89% 173 / 231 39.81% 43 / 108
crates/conjure-cp-rules/src/types/relation/packed/vertical 93.33% 93.33% 140 / 150 52.38% 22 / 42
crates/conjure-cp-rules/src/types/sequence 71.61% 71.61% 227 / 317 40% 34 / 85
crates/conjure-cp-rules/src/types/sequence/explicit 62.37% 62.37% 121 / 194 33.33% 23 / 69
crates/conjure-cp-rules/src/types/sequence/packed 66.79% 66.79% 185 / 277 33.33% 33 / 99
crates/conjure-cp-rules/src/types/set/explicit 94.87% 94.87% 185 / 195 74.07% 60 / 81
crates/conjure-cp-rules/src/types/set/explicit/vertical 98.5% 98.5% 393 / 399 88.06% 59 / 67
crates/conjure-cp-rules/src/types/set/horizontal 92.9% 92.9% 576 / 620 78.64% 81 / 103
crates/conjure-cp-rules/src/types/set/occurrence 96.1% 96.1% 197 / 205 67.68% 67 / 99
crates/conjure-cp-rules/src/types/set/occurrence/vertical 97.72% 97.72% 343 / 351 84.62% 66 / 78
crates/conjure-cp-rules/src/types/set/packed 90.32% 90.32% 196 / 217 59.05% 62 / 105
crates/conjure-cp-rules/src/types/set/packed/vertical 95% 95% 76 / 80 61.9% 13 / 21
crates/conjure-cp-rules/src/types/tuple 91.82% 91.82% 146 / 159 87.5% 21 / 24
crates/conjure-cp-rules/src/types/tuple/components 84.16% 84.16% 85 / 101 56.41% 22 / 39
crates/conjure-cp-rules/src/types/tuple/packed 81.05% 81.05% 248 / 306 46.72% 64 / 137
crates/conjure-cp-rules/src/types/unnamed 44.74% 44.74% 17 / 38 41.67% 10 / 24
crates/conjure-cp-rules/src/types/variant 66.67% 66.67% 6 / 9 66.67% 2 / 3
crates/conjure-cp-rules/src/types/variant/components 80.72% 80.72% 180 / 223 42.31% 33 / 78
crates/conjure-cp-rules/src/types/variant/packed 76.9% 76.9% 223 / 290 38.33% 46 / 120
crates/conjure-cp-rules/tests 99.66% 99.66% 1484 / 1489 99.13% 114 / 115
crates/conjure-cp/tests 97.22% 97.22% 909 / 935 93.75% 45 / 48
crates/tree-sitter-essence/bindings/rust 100% 100% 6 / 6 100% 3 / 3
test-suite/src 78.72% 78.72% 577 / 733 32.24% 137 / 425
test-suite/tests 57.8% 57.8% 834 / 1443 79.68% 651 / 817
test-suite/tests/support 76.25% 76.25% 61 / 80 81.25% 13 / 16