File	Line Coverage			Functions		Branches
feature_transition_system.rs	82.57%	82.57%	90 / 109	33.33%	18 / 54	100%	8 / 8
modal_equation_system.rs	89.39%	89.39%	118 / 132	75%	33 / 44	100%	10 / 10
project_fts.rs	0%	0%	0 / 36	0%	0 / 8	0%	0 / 2
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	47.22%	47.22%	17 / 36	43.75%	7 / 16	100%	0 / 0
submap.rs	73.2%	73.2%	112 / 153	41.67%	20 / 48	81.25%	26 / 32
translate.rs	81.5%	81.5%	141 / 173	91.67%	22 / 24	40%	8 / 20
variability_translate.rs	76.82%	76.82%	169 / 220	43.75%	14 / 32	36.36%	8 / 22
variability_zielonka.rs	91.23%	91.23%	333 / 365	47.83%	22 / 46	100%	42 / 42
zielonka.rs	94.56%	94.56%	139 / 147	83.33%	20 / 24	100%	28 / 28