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