File	Line Coverage			Functions
base.rs	90.98%	90.98%	343 / 377	38.04%	35 / 92
bubble.rs	91.36%	91.36%	74 / 81	22.22%	4 / 18
cnf.rs	0%	0%	0 / 1	0%	0 / 2
constant.rs	88.81%	88.81%	127 / 143	35.37%	29 / 82
minion.rs	88.52%	88.52%	347 / 392	33.7%	31 / 92
partial_eval.rs	84.51%	84.51%	180 / 213	25%	1 / 4
utils.rs	88.1%	88.1%	37 / 42	50%	9 / 18