File	Line Coverage			Functions		Branches
event.rs	93.75%	93.75%	15 / 16	26.09%	6 / 23	100%	0 / 0
hk.rs	90.91%	90.91%	20 / 22	23.33%	7 / 30	100%	0 / 0
mod.rs	92.25%	92.25%	250 / 271	36.12%	95 / 263	100%	0 / 0
scheduling.rs	100%	100%	36 / 36	35.09%	20 / 57	100%	0 / 0
tc.rs	96.04%	96.04%	582 / 606	37.14%	91 / 245	100%	0 / 0
tm.rs	95.06%	95.06%	769 / 809	40.78%	115 / 282	100%	0 / 0
verification.rs	90%	90%	9 / 10	22.73%	5 / 22	100%	0 / 0