Directory Line Coverage Functions
conjure_oxide/src 20.35% 20.35% 46 / 226 15.79% 6 / 38
conjure_oxide/src/utils 56.74% 56.74% 202 / 356 35.42% 17 / 48
conjure_oxide/tests 97.27% 97.27% 1070 / 1100 100% 42 / 42
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.87% 76.87% 359 / 467 40.52% 47 / 116
crates/conjure_core/src/rules 92.03% 92.03% 1108 / 1204 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 49.79% 49.79% 242 / 486 20.69% 24 / 116
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_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