aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear/non-const-case.c
AgeCommit message (Expand)AuthorFilesLines
2018-09-08fix linearization of non-constant switch-casesLuc Van Oostenryck1-1/+0
2018-09-08add testcase for non-constant switch-caseLuc Van Oostenryck1-0/+38