aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/bool-neq0.c
AgeCommit message (Expand)AuthorFilesLines
2017-11-13add test cases for canonicalization of boolean expressionsLuc Van Oostenryck1-0/+12