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.9%	96.9%	250 / 258	47.54%	29 / 61	100%	90 / 90
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	71.79%	71.79%	112 / 156	40%	20 / 50	80%	24 / 30
translate.rs	83.29%	83.29%	304 / 365	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	88.71%	88.71%	330 / 372	44%	22 / 50	100%	42 / 42
verify.rs	86.49%	86.49%	32 / 37	42.31%	11 / 26	100%	6 / 6
zielonka.rs	91.06%	91.06%	163 / 179	60.94%	39 / 64	100%	28 / 28