File	Line Coverage			Functions
kissat.rs	0%	0%	0 / 30	0%	0 / 12
minion.rs	85.07%	85.07%	245 / 288	40.32%	25 / 62
sat_common.rs	0%	0%	0 / 160	0%	0 / 42