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 52.76% 52.76% 172 / 326 34.78% 16 / 46
conjure_oxide/tests 91.3% 91.3% 1155 / 1265 84.75% 50 / 59
crates/conjure_core/src 58.33% 58.33% 84 / 144 27.14% 19 / 70
crates/conjure_core/src/ast 55.3% 55.3% 240 / 434 17.34% 56 / 323
crates/conjure_core/src/parse 92.86% 92.86% 325 / 350 44.23% 23 / 52
crates/conjure_core/src/rule_engine 76.41% 76.41% 353 / 462 40.35% 46 / 114
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 95.29% 95.29% 182 / 191 66.67% 40 / 60
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