aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/eval/not-cast-bool.c
AgeCommit message (Expand)AuthorFilesLines
2021-04-19remove early simplification of casts during evaluationLuc Van Oostenryck1-1/+0
2021-04-18add testcases for simplification of casts.Luc Van Oostenryck1-0/+15