File	Line Coverage			Functions		Branches
incoming_transitions.rs	100%	100%	80 / 80	54.64%	53 / 97	100%	8 / 8
io.rs	0%	0%	0 / 121	0%	0 / 24	0%	0 / 8
io_aut.rs	84.62%	84.62%	99 / 117	33.33%	21 / 63	100%	8 / 8
io_aut_stream.rs	88.14%	88.14%	52 / 59	42.86%	6 / 14	100%	2 / 2
io_bcg.rs	0%	0%	0 / 6	0%	0 / 4	100%	0 / 0
io_lts.rs	88.1%	88.1%	111 / 126	47.62%	10 / 21	100%	16 / 16
labelled_transition_system.rs	77.3%	77.3%	252 / 326	59.28%	131 / 221	90.91%	20 / 22
lts.rs	60%	60%	9 / 15	33.33%	12 / 36	100%	0 / 0
lts_builder.rs	87.64%	87.64%	78 / 89	58.82%	30 / 51	100%	10 / 10
lts_builder_fast.rs	78.57%	78.57%	77 / 98	39.17%	47 / 120	83.33%	10 / 12
multi_action.rs	57.64%	57.64%	117 / 203	34.71%	42 / 121	73.33%	22 / 30
product_lts.rs	96.47%	96.47%	82 / 85	37.5%	3 / 8	100%	18 / 18
random_lts.rs	95.45%	95.45%	63 / 66	41.67%	5 / 12	100%	10 / 10
reachability.rs	46.3%	46.3%	25 / 54	25%	5 / 20	75%	6 / 8