Directory Line Coverage Functions
conjure_oxide/src 20.26% 20.26% 46 / 227 15.79% 6 / 38
conjure_oxide/src/utils 25.9% 25.9% 94 / 363 20.83% 10 / 48
conjure_oxide/tests 0% 0% 0 / 1099 0% 0 / 45
crates/conjure_core/src 30.08% 30.08% 40 / 133 16.18% 11 / 68
crates/conjure_core/src/ast 46.77% 46.77% 203 / 434 10.22% 33 / 323
crates/conjure_core/src/parse 92.86% 92.86% 325 / 350 44.23% 23 / 52
crates/conjure_core/src/rule_engine 73.92% 73.92% 309 / 418 36% 36 / 100
crates/conjure_core/src/rules 24.46% 24.46% 273 / 1116 18.25% 50 / 274
crates/conjure_core/src/solver 0% 0% 0 / 118 0% 0 / 53
crates/conjure_core/src/solver/adaptors 0% 0% 0 / 486 0% 0 / 116
crates/conjure_core/src/stats 20% 20% 3 / 15 12.5% 1 / 8
crates/conjure_macros/src 92.92% 92.92% 105 / 113 34.78% 8 / 23
crates/enum_compatability_macro/src 100% 100% 77 / 77 33.33% 4 / 12
crates/tree_morph/src 0% 0% 0 / 99 0% 0 / 37
crates/tree_morph/tests 0% 0% 0 / 231 0% 0 / 24
solvers/kissat/src 0% 0% 0 / 21 0% 0 / 1
solvers/minion/src 0% 0% 0 / 644 0% 0 / 81
solvers/minion/tests 0% 0% 0 / 32 0% 0 / 2