File	Line Coverage			Functions		Branches
incoming_transitions.rs	100%	100%	80 / 80	72.09%	31 / 43	100%	8 / 8
io.rs	0%	0%	0 / 59	0%	0 / 14	0%	0 / 8
io_aut.rs	82.83%	82.83%	82 / 99	38.89%	14 / 36	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.19%	88.19%	112 / 127	47.62%	10 / 21	100%	16 / 16
labelled_transition_system.rs	79.49%	79.49%	248 / 312	73.79%	107 / 145	100%	18 / 18
lts.rs	60%	60%	9 / 15	40%	8 / 20	100%	0 / 0
lts_builder.rs	86.52%	86.52%	77 / 89	50.98%	26 / 51	100%	10 / 10
lts_builder_fast.rs	80.85%	80.85%	76 / 94	61.9%	39 / 63	83.33%	10 / 12
multi_action.rs	95.32%	95.32%	163 / 171	63.01%	46 / 73	100%	40 / 40
product_lts.rs	100%	100%	79 / 79	40%	4 / 10	100%	18 / 18
random_lts.rs	97.44%	97.44%	76 / 78	65%	13 / 20	100%	10 / 10
reachability.rs	100%	100%	19 / 19	50%	2 / 4	100%	4 / 4