File	Line Coverage			Functions
base.rs	95%	95%	57 / 60	33.33%	6 / 18
bottom_up_adaptor.rs	100%	100%	30 / 30	33.33%	4 / 12
bubble.rs	93.18%	93.18%	123 / 132	28.57%	12 / 42
constant_eval.rs	100%	100%	53 / 53	30.43%	14 / 46
lex.rs	84.09%	84.09%	74 / 88	22.22%	8 / 36
minion.rs	92.32%	92.32%	649 / 703	27.78%	65 / 234
records.rs	95.08%	95.08%	174 / 183	22.73%	15 / 66
select_representation.rs	94.64%	94.64%	106 / 112	20.83%	15 / 72
tuple.rs	92.97%	92.97%	238 / 256	23.61%	17 / 72
utils.rs	76.86%	76.86%	93 / 121	14.44%	13 / 90
variables_in_domains.rs	82.33%	82.33%	177 / 215	17.42%	23 / 132