Directory Line Coverage Functions
conjure_oxide/src 47.92% 47.92% 23 / 48 25% 1 / 4
conjure_oxide/src/utils 52.76% 52.76% 172 / 326 34.78% 16 / 46
conjure_oxide/tests 90.74% 90.74% 1048 / 1155 83.61% 51 / 61
crates/conjure_core/src 52.76% 52.76% 67 / 127 24.49% 24 / 98
crates/conjure_core/src/ast 55.41% 55.41% 205 / 370 20.39% 104 / 510
crates/conjure_core/src/parse 92.6% 92.6% 313 / 338 44.23% 23 / 52
crates/conjure_core/src/rule_engine 75.36% 75.36% 312 / 414 35.59% 42 / 118
crates/conjure_core/src/rules 86.36% 86.36% 943 / 1092 21.9% 97 / 443
crates/conjure_core/src/solver 67.32% 67.32% 103 / 153 18.99% 15 / 79
crates/conjure_core/src/solver/adaptors 51.72% 51.72% 241 / 466 21.55% 25 / 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
solvers/kissat/src 95.24% 95.24% 20 / 21 100% 1 / 1
solvers/minion/src 73.86% 73.86% 568 / 769 48.28% 42 / 87
solvers/minion/tests 100% 100% 32 / 32 100% 2 / 2