File	Line Coverage			Functions
base.rs	88.71%	88.71%	330 / 372	38.04%	35 / 92
bubble.rs	91.84%	91.84%	45 / 49	21.43%	3 / 14
checks.rs	100%	100%	7 / 7	50%	1 / 2
cnf.rs	0%	0%	0 / 1	0%	0 / 2
constant.rs	93.65%	93.65%	118 / 126	33.75%	27 / 80
minion.rs	87.85%	87.85%	282 / 321	37.84%	28 / 74
partial_eval.rs	83.02%	83.02%	176 / 212	25%	1 / 4