File	Line Coverage			Functions		Branches
feature_transition_system.rs	76.47%	76.47%	104 / 136	31.58%	24 / 76	100%	10 / 10
modal_equation_system.rs	89.55%	89.55%	120 / 134	77.27%	34 / 44	100%	12 / 12
priority_promotion.rs	96.84%	96.84%	245 / 253	47.54%	29 / 61	100%	88 / 88
project_fts.rs	0%	0%	0 / 48	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
solver.rs	0%	0%	0 / 11	0%	0 / 4	100%	0 / 0
strategy.rs	83.54%	83.54%	66 / 79	52%	26 / 50	100%	16 / 16
submap.rs	73.2%	73.2%	112 / 153	41.67%	20 / 48	81.25%	26 / 32
translate.rs	82.91%	82.91%	296 / 357	75.31%	61 / 81	68.42%	26 / 38
variability_translate.rs	89.39%	89.39%	59 / 66	47.37%	9 / 19	100%	4 / 4
variability_zielonka.rs	91.01%	91.01%	334 / 367	47.83%	22 / 46	100%	42 / 42
verify.rs	86.49%	86.49%	32 / 37	42.31%	11 / 26	100%	6 / 6
zielonka.rs	95.21%	95.21%	159 / 167	67.24%	39 / 58	100%	30 / 30