File	Line Coverage			Functions		Branches
incoming_transitions.rs	100%	100%	77 / 77	65.85%	27 / 41	100%	8 / 8
io.rs	0%	0%	0 / 59	0%	0 / 14	0%	0 / 8
io_aut.rs	82.65%	82.65%	81 / 98	39.39%	13 / 33	100%	6 / 6
io_aut_stream.rs	86.79%	86.79%	46 / 53	41.67%	5 / 12	100%	0 / 0
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	72.31%	72.31%	188 / 260	69.53%	89 / 128	100%	18 / 18
lts.rs	80%	80%	12 / 15	30%	6 / 20	100%	0 / 0
lts_builder.rs	80.95%	80.95%	68 / 84	52.17%	24 / 46	100%	6 / 6
lts_builder_fast.rs	84.27%	84.27%	75 / 89	66.67%	40 / 60	100%	10 / 10
multi_action.rs	95.32%	95.32%	163 / 171	63.01%	46 / 73	100%	40 / 40
product_lts.rs	100%	100%	79 / 79	41.67%	5 / 12	100%	18 / 18
random_lts.rs	100%	100%	52 / 52	77.27%	17 / 22	100%	2 / 2