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

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