File	Line Coverage			Functions
base.rs	95.81%	95.81%	343 / 358	38.04%	35 / 92
bubble.rs	97.37%	97.37%	74 / 76	22.22%	4 / 18
cnf.rs	100%	100%	0 / 0	0%	0 / 2
constant.rs	90.07%	90.07%	127 / 141	35.37%	29 / 82
minion.rs	92.53%	92.53%	347 / 375	33.7%	31 / 92
partial_eval.rs	84.91%	84.91%	180 / 212	25%	1 / 4
utils.rs	88.1%	88.1%	37 / 42	50%	9 / 18