File	Line Coverage			Functions		Branches
feature_transition_system.rs	74.63%	74.63%	100 / 134	28.95%	22 / 76	100%	8 / 8
modal_equation_system.rs	89.55%	89.55%	120 / 134	77.27%	34 / 44	100%	12 / 12
project_fts.rs	0%	0%	0 / 44	0%	0 / 12	100%	0 / 0
project_vpg.rs	97.37%	97.37%	37 / 38	50%	5 / 10	100%	2 / 2
reachability.rs	100%	100%	38 / 38	75%	6 / 8	100%	6 / 6
repeat.rs	37.5%	37.5%	3 / 8	50%	2 / 4	100%	0 / 0
strategy.rs	73.47%	73.47%	36 / 49	36.36%	8 / 22	100%	16 / 16
submap.rs	73.2%	73.2%	112 / 153	41.67%	20 / 48	81.25%	26 / 32
translate.rs	82.51%	82.51%	283 / 343	74.68%	59 / 79	66.67%	24 / 36
variability_translate.rs	88.14%	88.14%	52 / 59	47.37%	9 / 19	100%	2 / 2
variability_zielonka.rs	91.23%	91.23%	333 / 365	47.83%	22 / 46	100%	42 / 42
verify.rs	88.89%	88.89%	32 / 36	42.31%	11 / 26	100%	6 / 6
zielonka.rs	93.3%	93.3%	167 / 179	76.19%	32 / 42	95.65%	44 / 46