aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear/unreachable-label0.c
AgeCommit message (Expand)AuthorFilesLines
2018-09-01fix linearization of unreachable switch (with reachable label).Luc Van Oostenryck1-1/+0
2018-09-01add tescase for unreachable label in switchLuc Van Oostenryck1-0/+20