aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear/degen-log-not.c
AgeCommit message (Expand)AuthorFilesLines
2017-12-08fix: add missing degenerate() for logical notLuc Van Oostenryck1-1/+0
2017-12-07add testcases linearization of degenerated arrays/functionsLuc Van Oostenryck1-0/+41