aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/and-or-crash.c
AgeCommit message (Collapse)AuthorFilesLines
2018-08-22add testcase for (((x & M') | (y & M'')) & M)Luc Van Oostenryck1-0/+5
There is a potential problem when the second side of the OR is simplified away. Add 2 testcases to catch possible regressions here. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>