Directory | Line Coverage | Functions | |||
---|---|---|---|---|---|
conjure_oxide/src | 18.62% | 46 / 247 | 7.89% | 6 / 76 | |
conjure_oxide/src/utils | 66.62% | 463 / 695 | 33.72% | 29 / 86 | |
conjure_oxide/tests | 96.86% | 832 / 859 | 100% | 35 / 35 | |
crates/conjure_core/src | 23.81% | 15 / 63 | 27.78% | 5 / 18 | |
crates/conjure_core/src/ast | 73.51% | 777 / 1057 | 42.07% | 138 / 328 | |
crates/conjure_core/src/parse | 93.54% | 420 / 449 | 48.28% | 28 / 58 | |
crates/conjure_core/src/rule_engine | 69.01% | 432 / 626 | 36.96% | 51 / 138 | |
crates/conjure_core/src/rules | 85.65% | 1134 / 1324 | 31.94% | 84 / 263 | |
crates/conjure_core/src/rules/normalisers | 85.1% | 337 / 396 | 26.53% | 26 / 98 | |
crates/conjure_core/src/solver | 68.21% | 103 / 151 | 28.3% | 15 / 53 | |
crates/conjure_core/src/solver/adaptors | 0% | 0 / 189 | 0% | 0 / 54 | |
crates/conjure_core/src/solver/adaptors/minion | 88.33% | 280 / 317 | 41.18% | 28 / 68 | |
crates/conjure_core/src/stats | 80% | 12 / 15 | 37.5% | 3 / 8 | |
crates/conjure_macros/src | 95.54% | 107 / 112 | 42.31% | 11 / 26 | |
crates/enum_compatability_macro/src | 100% | 83 / 83 | 50% | 8 / 16 | |
crates/tree-sitter-essence/bindings/rust | 100% | 17 / 17 | 100% | 3 / 3 | |
crates/tree_morph/src | 66.1% | 195 / 295 | 71.43% | 125 / 175 | |
crates/tree_morph/tests | 96.68% | 379 / 392 | 100% | 37 / 37 | |
solvers/kissat/src | 95.24% | 20 / 21 | 100% | 1 / 1 | |
solvers/minion/src | 78.51% | 610 / 777 | 48.28% | 42 / 87 | |
solvers/minion/tests | 100% | 32 / 32 | 100% | 2 / 2 |