summaryrefslogtreecommitdiffstats
path: root/tests/test_de_morgan_and.out
Commit message (Expand)AuthorAgeFilesLines
* tests: Add tests that trigger some optimizationsTavian Barnes2017-09-161-0/+10