Directory Line Coverage Functions
crates/conjure-cp-cli/src 57.62% 57.62% 261 / 453 25.49% 52 / 204
crates/conjure-cp-cli/src/utils 33.28% 33.28% 191 / 574 16.1% 71 / 441
crates/conjure-cp-core/src 68.39% 68.39% 132 / 193 19.54% 101 / 517
crates/conjure-cp-core/src/ast 55.35% 55.35% 2715 / 4905 8.4% 1180 / 14049
crates/conjure-cp-core/src/ast/domains 51.91% 51.91% 1061 / 2044 14.11% 430 / 3048
crates/conjure-cp-core/src/parse 81.46% 81.46% 971 / 1192 10.62% 129 / 1215
crates/conjure-cp-core/src/rule_engine 67.82% 67.82% 451 / 665 17.81% 195 / 1095
crates/conjure-cp-core/src/solver 40.65% 40.65% 63 / 155 14.23% 40 / 281
crates/conjure-cp-core/src/solver/adaptors/minion 66.85% 66.85% 359 / 537 18.21% 124 / 681
crates/conjure-cp-core/src/solver/adaptors/rustsat 64.5% 64.5% 198 / 307 4.35% 15 / 345
crates/conjure-cp-core/src/solver/adaptors/smt 68.86% 68.86% 482 / 700 4.73% 236 / 4986
crates/conjure-cp-core/src/stats 86.96% 86.96% 20 / 23 21.33% 16 / 75
crates/conjure-cp-core/src/utils 43.24% 43.24% 16 / 37 5.33% 4 / 75
crates/conjure-cp-enum-compatibility-macro/src 100% 100% 62 / 62 33.33% 8 / 24
crates/conjure-cp-essence-macros/src 65.96% 65.96% 62 / 94 33.33% 18 / 54
crates/conjure-cp-essence-parser/src 71.55% 71.55% 83 / 116 25.93% 35 / 135
crates/conjure-cp-essence-parser/src/diagnostics 70% 70% 7 / 10 13.33% 2 / 15
crates/conjure-cp-essence-parser/src/diagnostics/error_detection 76.4% 76.4% 68 / 89 20% 9 / 45
crates/conjure-cp-essence-parser/src/parser 67.53% 67.53% 1483 / 2196 29.65% 376 / 1268
crates/conjure-cp-essence-parser/tests 56.02% 56.02% 293 / 523 56.45% 70 / 124
crates/conjure-cp-lsp/src 0% 0% 0 / 23 0% 0 / 60
crates/conjure-cp-lsp/src/handlers 0% 0% 0 / 78 0% 0 / 72
crates/conjure-cp-rule-macros/src 100% 100% 83 / 83 33.33% 14 / 42
crates/conjure-cp-rules/src 88.08% 88.08% 1781 / 2022 32.82% 380 / 1158
crates/conjure-cp-rules/src/comprehensions 88.89% 88.89% 120 / 135 38.1% 32 / 84
crates/conjure-cp-rules/src/comprehensions/expansion 81.21% 81.21% 415 / 511 28.76% 88 / 306
crates/conjure-cp-rules/src/matrix 87.73% 87.73% 336 / 383 27.61% 82 / 297
crates/conjure-cp-rules/src/normalisers 84.69% 84.69% 354 / 418 41.15% 100 / 243
crates/conjure-cp-rules/src/representation 65.82% 65.82% 391 / 594 13.15% 101 / 768
crates/conjure-cp-rules/src/sat 34.43% 34.43% 534 / 1551 13.4% 84 / 627
crates/conjure-cp-rules/src/sets/horizontal 36.56% 36.56% 34 / 93 44.44% 28 / 63
crates/conjure-cp-rules/src/sets/vertical/literal 90% 90% 18 / 20 44.44% 4 / 9
crates/conjure-cp-rules/src/smt 59.33% 59.33% 213 / 359 17.78% 56 / 315
crates/conjure-cp/tests 83.53% 83.53% 771 / 923 66.67% 68 / 102
crates/minion-sys/src 53.47% 53.47% 432 / 808 21.68% 111 / 512
crates/minion-sys/tests 100% 100% 29 / 29 50% 2 / 4
crates/tree-morph/src 72.32% 72.32% 209 / 289 29.37% 449 / 1529
crates/tree-morph/tests 97.04% 97.04% 426 / 439 50% 49 / 98
crates/tree-sitter-essence/bindings/rust 100% 100% 6 / 6 60% 3 / 5
tests-integration/src 62.14% 62.14% 64 / 103 30.71% 43 / 140
tests-integration/tests 50.47% 50.47% 319 / 632 25.71% 27 / 105