File	Line Coverage			Functions
base.rs	95%	95%	57 / 60	66.67%	6 / 9
bottom_up_adaptor.rs	100%	100%	30 / 30	66.67%	4 / 6
bubble.rs	93.85%	93.85%	122 / 130	62.5%	15 / 24
constant_eval.rs	100%	100%	52 / 52	62.5%	15 / 24
lex.rs	95.45%	95.45%	84 / 88	50%	9 / 18
minion.rs	93.94%	93.94%	666 / 709	65.89%	85 / 129
records.rs	93.94%	93.94%	93 / 99	44.44%	12 / 27
select_representation.rs	95.65%	95.65%	110 / 115	51.28%	20 / 39
tuple.rs	92.58%	92.58%	237 / 256	50%	18 / 36
utils.rs	86.96%	86.96%	160 / 184	52.08%	50 / 96
variables_in_domains.rs	83.33%	83.33%	180 / 216	41.67%	30 / 72