File	Line Coverage			Functions		Branches
event.rs	94.74%	94.74%	18 / 19	27.78%	10 / 36	100%	0 / 0
hk.rs	92.31%	92.31%	24 / 26	26.09%	12 / 46	100%	0 / 0
mod.rs	92.41%	92.41%	268 / 290	36.44%	129 / 354	100%	0 / 0
scheduling.rs	100%	100%	45 / 45	38.3%	36 / 94	100%	0 / 0
tc.rs	96.03%	96.03%	604 / 629	37.94%	118 / 311	100%	0 / 0
tm.rs	94.97%	94.97%	793 / 835	43.03%	145 / 337	100%	0 / 0
verification.rs	91.67%	91.67%	11 / 12	23.53%	8 / 34	100%	0 / 0