File	Line Coverage			Functions
kissat.rs	0%	0%	0 / 30	0%	0 / 12
minion.rs	0%	0%	0 / 249	0%	0 / 58
sat_common.rs	0%	0%	0 / 157	0%	0 / 42