Directory Line Coverage Functions
crates/conjure-cp-cli/src 82.91% 82.91% 485 / 585 40.48% 51 / 126
crates/conjure-cp-cli/src/utils 63.31% 63.31% 383 / 605 35.18% 70 / 199
crates/conjure-cp-core/src 70.57% 70.57% 271 / 384 31.46% 123 / 391
crates/conjure-cp-core/src/ast 64.73% 64.73% 3566 / 5509 17.39% 1111 / 6387
crates/conjure-cp-core/src/ast/domains 66.04% 66.04% 1519 / 2300 28.91% 394 / 1363
crates/conjure-cp-core/src/parse 95.62% 95.62% 1289 / 1348 24.39% 139 / 570
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 57.87% 57.87% 680 / 1175 15.68% 111 / 708
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 51.47% 35 / 68
crates/conjure-cp-essence-parser/src/diagnostics 24.53% 24.53% 39 / 159 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 84.95% 84.95% 2415 / 2843 51.9% 328 / 632
crates/conjure-cp-essence-parser/tests 83.82% 83.82% 347 / 414 85.71% 36 / 42
crates/conjure-cp-lsp/src 0% 0% 0 / 26 0% 0 / 24
crates/conjure-cp-lsp/src/handlers 0% 0% 0 / 399 0% 0 / 66
crates/conjure-cp-rule-macros/src 100% 100% 99 / 99 66.67% 10 / 15
crates/conjure-cp-rules/src 92.35% 92.35% 1858 / 2012 53.61% 230 / 429
crates/conjure-cp-rules/src/comprehensions 72.37% 72.37% 275 / 380 41.11% 37 / 90
crates/conjure-cp-rules/src/comprehensions/expansion 82.58% 82.58% 455 / 551 54.76% 92 / 168
crates/conjure-cp-rules/src/matrix 88.42% 88.42% 374 / 423 57.66% 64 / 111
crates/conjure-cp-rules/src/normalisers 86.36% 86.36% 361 / 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.68% 89.68% 1364 / 1521 33.76% 80 / 237
crates/conjure-cp-rules/src/sets/horizontal 69.07% 69.07% 134 / 194 66.67% 20 / 30
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 37.04% 40 / 108
crates/conjure-cp/tests 96.62% 96.62% 771 / 798 100% 34 / 34
crates/minion-sys/src 56.65% 56.65% 622 / 1098 41.86% 108 / 258
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 64.97% 64.97% 115 / 177 29.82% 34 / 114
tests-integration/tests 73.18% 73.18% 382 / 522 64.29% 27 / 42