File	Line Coverage			Functions
base.rs	94.68%	94.68%	89 / 94	25%	6 / 24
bubble.rs	100%	100%	114 / 114	15.15%	5 / 33
cnf.rs	100%	100%	0 / 0	0%	0 / 3
constant_eval.rs	65.81%	65.81%	206 / 313	25.32%	40 / 158
minion.rs	97.08%	97.08%	499 / 514	17.83%	23 / 129
partial_eval.rs	78.67%	78.67%	225 / 286	22.22%	2 / 9
subsitute_lettings.rs	88.89%	88.89%	24 / 27	13.33%	2 / 15
utils.rs	77.5%	77.5%	31 / 40	29.63%	8 / 27