File	Line Coverage			Functions
base.rs	94.32%	94.32%	83 / 88	35.29%	6 / 17
bubble.rs	100%	100%	111 / 111	22.73%	5 / 22
cnf.rs	100%	100%	0 / 0	0%	0 / 2
constant_eval.rs	67.29%	67.29%	181 / 269	37.23%	35 / 94
minion.rs	92.86%	92.86%	481 / 518	26.74%	23 / 86
partial_eval.rs	82.61%	82.61%	190 / 230	33.33%	2 / 6
utils.rs	62.5%	62.5%	25 / 40	38.89%	7 / 18