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	88.31%	88.31%	136 / 154	38.24%	26 / 68	100%	8 / 8
io_aut_stream.rs	88.37%	88.37%	76 / 86	42.86%	9 / 21	100%	4 / 4
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	78.04%	78.04%	263 / 337	61.9%	143 / 231	90.91%	20 / 22
lts.rs	60%	60%	9 / 15	33.33%	12 / 36	100%	0 / 0
lts_builder.rs	48.45%	48.45%	78 / 161	37.97%	30 / 79	100%	10 / 10
lts_builder_fast.rs	78.57%	78.57%	77 / 98	46.67%	56 / 120	83.33%	10 / 12
multi_action.rs	66.5%	66.5%	135 / 203	38.71%	48 / 124	73.33%	22 / 30
product_lts.rs	96.59%	96.59%	85 / 88	44.44%	4 / 9	100%	18 / 18
random_lts.rs	95.59%	95.59%	65 / 68	41.67%	5 / 12	100%	10 / 10
reachability.rs	46.3%	46.3%	25 / 54	25%	5 / 20	75%	6 / 8