Directory | Line Coverage | Functions | |||
---|---|---|---|---|---|
conjure_oxide/examples | 0% | 0 / 111 | 0% | 0 / 3 | |
conjure_oxide/src | 54.55% | 30 / 55 | 33.33% | 2 / 6 | |
conjure_oxide/src/utils | 55.04% | 202 / 367 | 25% | 17 / 68 | |
conjure_oxide/tests | 90.84% | 1229 / 1353 | 83.58% | 56 / 67 | |
crates/conjure_core/src | 58.33% | 84 / 144 | 27.14% | 19 / 70 | |
crates/conjure_core/src/ast | 79.26% | 344 / 434 | 18.89% | 61 / 323 | |
crates/conjure_core/src/parse | 92.86% | 325 / 350 | 44.23% | 23 / 52 | |
crates/conjure_core/src/rule_engine | 76.86% | 362 / 471 | 40.52% | 47 / 116 | |
crates/conjure_core/src/rules | 88.71% | 1108 / 1249 | 35.39% | 109 / 308 | |
crates/conjure_core/src/solver | 67.76% | 103 / 152 | 24.59% | 15 / 61 | |
crates/conjure_core/src/solver/adaptors | 50.1% | 242 / 483 | 20.69% | 24 / 116 | |
crates/conjure_core/src/stats | 80% | 12 / 15 | 37.5% | 3 / 8 | |
crates/conjure_macros/src | 94.96% | 113 / 119 | 42.31% | 11 / 26 | |
crates/enum_compatability_macro/src | 100% | 83 / 83 | 50% | 8 / 16 | |
crates/tree_morph/src | 94.86% | 166 / 175 | 70.37% | 38 / 54 | |
crates/tree_morph/tests | 86.58% | 200 / 231 | 87.5% | 21 / 24 | |
solvers/kissat/src | 95.24% | 20 / 21 | 100% | 1 / 1 | |
solvers/minion/src | 73.6% | 566 / 769 | 48.28% | 42 / 87 | |
solvers/minion/tests | 100% | 32 / 32 | 100% | 2 / 2 |