Directory Line Coverage Functions
conjure_oxide/src 18.78% 18.78% 46 / 245 7.89% 6 / 76
conjure_oxide/src/utils 68.85% 68.85% 462 / 671 38.89% 28 / 72
conjure_oxide/tests 96.76% 96.76% 807 / 834 100% 35 / 35
crates/conjure_core/src 56.62% 56.62% 77 / 136 37.5% 18 / 48
crates/conjure_core/src/ast 73.81% 73.81% 510 / 691 46.81% 88 / 188
crates/conjure_core/src/parse 92.7% 92.7% 368 / 397 48.21% 27 / 56
crates/conjure_core/src/rule_engine 77.34% 77.34% 454 / 587 39.06% 50 / 128
crates/conjure_core/src/rules 85.27% 85.27% 1071 / 1256 31.84% 78 / 245
crates/conjure_core/src/rules/normalisers 84.85% 84.85% 336 / 396 26.53% 26 / 98
crates/conjure_core/src/solver 68.21% 68.21% 103 / 151 28.3% 15 / 53
crates/conjure_core/src/solver/adaptors 0% 0% 0 / 190 0% 0 / 54
crates/conjure_core/src/solver/adaptors/minion 88.25% 88.25% 278 / 315 41.18% 28 / 68
crates/conjure_core/src/stats 80% 80% 12 / 15 37.5% 3 / 8
crates/conjure_macros/src 94.92% 94.92% 112 / 118 42.31% 11 / 26
crates/enum_compatability_macro/src 100% 100% 83 / 83 50% 8 / 16
crates/tree-sitter-essence/bindings/rust 100% 100% 17 / 17 100% 3 / 3
crates/tree_morph/src 65.91% 65.91% 174 / 264 59.14% 55 / 93
crates/tree_morph/tests 88.93% 88.93% 249 / 280 89.66% 26 / 29
solvers/kissat/src 95.24% 95.24% 20 / 21 100% 1 / 1
solvers/minion/src 78.51% 78.51% 610 / 777 48.28% 42 / 87
solvers/minion/tests 100% 100% 32 / 32 100% 2 / 2