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	58.33%	58.33%	84 / 144	27.14%	19 / 70
crates/conjure_core/src/ast	56.72%	56.72%	232 / 409	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.14%	88.14%	1033 / 1172	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.79%	49.79%	239 / 480	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