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.18%	93.18%	123 / 132	66.67%	14 / 21
constant_eval.rs	100%	100%	53 / 53	65.22%	15 / 23
lex.rs	84.09%	84.09%	74 / 88	44.44%	8 / 18
minion.rs	92.32%	92.32%	649 / 703	63.25%	74 / 117
records.rs	95.08%	95.08%	174 / 183	48.48%	16 / 33
select_representation.rs	94.64%	94.64%	106 / 112	50%	18 / 36
tuple.rs	92.97%	92.97%	238 / 256	50%	18 / 36
utils.rs	76.86%	76.86%	93 / 121	44.44%	20 / 45
variables_in_domains.rs	82.33%	82.33%	177 / 215	34.85%	23 / 66