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.52% 91.52% 1155 / 1262 84.75% 50 / 59
crates/conjure_core/src 58.33% 58.33% 84 / 144 27.14% 19 / 70
crates/conjure_core/src/ast 56.3% 56.3% 228 / 405 17.97% 55 / 306
crates/conjure_core/src/parse 92.77% 92.77% 321 / 346 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.37% 88.37% 1033 / 1169 35.57% 106 / 298
crates/conjure_core/src/solver 67.76% 67.76% 103 / 152 24.59% 15 / 61
crates/conjure_core/src/solver/adaptors 49.69% 49.69% 238 / 479 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 72.95% 72.95% 561 / 769 48.28% 42 / 87
solvers/minion/tests 100% 100% 32 / 32 100% 2 / 2