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.6% 91.6% 1167 / 1274 84.75% 50 / 59
crates/conjure_core/src 54.26% 54.26% 70 / 129 26.47% 18 / 68
crates/conjure_core/src/ast 53.92% 53.92% 213 / 395 17.22% 52 / 302
crates/conjure_core/src/parse 92.77% 92.77% 321 / 346 44.23% 23 / 52
crates/conjure_core/src/rule_engine 76.03% 76.03% 349 / 459 40.35% 46 / 114
crates/conjure_core/src/rules 87.36% 87.36% 988 / 1131 35.56% 101 / 284
crates/conjure_core/src/solver 67.76% 67.76% 103 / 152 24.59% 15 / 61
crates/conjure_core/src/solver/adaptors 51.26% 51.26% 245 / 478 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
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 74.12% 74.12% 570 / 769 48.28% 42 / 87
solvers/minion/tests 100% 100% 32 / 32 100% 2 / 2