Fix failed coverage in if then else with return statements#8001

Merged

esteffin merged 2 commits intodiffblue:developfrom esteffin:esteffin/fix-failed-coverage-if-then-else

Nov 20, 2023

+30-16

Commits on Nov 7, 2023

Avoid adding useless goto blocks in if with return
Enrico Steffinlongo
committed
Fix regression tests failing after removing redundant if components
Enrico Steffinlongo
committed