summaryrefslogtreecommitdiffstats
path: root/tests/test_de_morgan_and.out
Commit message (Expand)AuthorAgeFilesLines
* tests: Split test cases into separate filesTavian Barnes2022-10-191-10/+0
* tests: Use plain sort, not bfs_sortTavian Barnes2022-03-131-1/+1
* tests: Add tests that trigger some optimizationsTavian Barnes2017-09-161-0/+10