aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/bool-ne0.c
AgeCommit message (Collapse)AuthorFilesLines
2017-11-13add test cases for simplification of equivalent to 'x == 0' or 'x != 0'Luc Van Oostenryck1-0/+12
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>