File	Line Coverage			Functions		Branches
incoming_transitions.rs	100%	100%	76 / 76	65.85%	27 / 41	100%	8 / 8
io.rs	0%	0%	0 / 51	0%	0 / 12	0%	0 / 6
io_aut.rs	93.46%	93.46%	100 / 107	47.06%	16 / 34	100%	10 / 10
io_lts.rs	95.83%	95.83%	115 / 120	60.87%	14 / 23	100%	16 / 16
labelled_transition_system.rs	86.24%	86.24%	163 / 189	70.54%	79 / 112	100%	14 / 14
lts.rs	50%	50%	3 / 6	50%	2 / 4	100%	0 / 0
lts_builder.rs	80.72%	80.72%	67 / 83	50%	22 / 44	100%	6 / 6
lts_builder_fast.rs	84.27%	84.27%	75 / 89	66.67%	40 / 60	100%	10 / 10
multi_action.rs	84.85%	84.85%	140 / 165	35.62%	26 / 73	90%	36 / 40
product_lts.rs	100%	100%	79 / 79	41.67%	5 / 12	100%	18 / 18
random_lts.rs	100%	100%	56 / 56	77.27%	17 / 22	100%	2 / 2