aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/sh-or-and1.c
AgeCommit message (Expand)AuthorFilesLines
2018-08-22add testcases for bitfield & AND/OR simplificationLuc Van Oostenryck1-0/+21