File	Line Coverage			Functions
error.rs	0%	0%	0 / 1	0%	0 / 6
kissat.rs	92.66%	92.66%	328 / 354	50.98%	26 / 51
minion.rs	87.78%	87.78%	194 / 221	55.17%	16 / 29