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 65.22% 65.22% 3730 / 5719 17.13% 1145 / 6686
crates/conjure-cp-core/src/ast/domains 65.94% 65.94% 1632 / 2475 28.4% 457 / 1609
crates/conjure-cp-core/src/parse 94.42% 94.42% 1337 / 1416 25.46% 153 / 601
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 17.2% 17.2% 16 / 93 2.86% 2 / 70
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.47% 84.47% 2405 / 2847 51.02% 325 / 637
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 90.91% 90.91% 100 / 110 66.67% 10 / 15
crates/conjure-cp-rules/src 92.37% 92.37% 1791 / 1939 55% 264 / 480
crates/conjure-cp-rules/src/comprehensions 72.66% 72.66% 279 / 384 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.76% 88.76% 371 / 418 57.89% 66 / 114
crates/conjure-cp-rules/src/normalisers 86.41% 86.41% 356 / 412 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.87% 89.87% 1393 / 1550 33.75% 81 / 240
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 68.97% 68.97% 220 / 319 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
test-suite/src 61.83% 61.83% 115 / 186 29.03% 36 / 124
test-suite/tests 72.56% 72.56% 386 / 532 64.29% 27 / 42