summaryrefslogtreecommitdiffstats
path: root/tests/test_de_morgan_and.out
Commit message (Collapse)AuthorAgeFilesLines
* tests: Use plain sort, not bfs_sortTavian Barnes2022-03-131-1/+1
| | | | | bfs_sort existed to keep the test outputs nicely in breadth-first order. Unfortunately the implementation using awk didn't support NUL bytes.
* tests: Add tests that trigger some optimizationsTavian Barnes2017-09-161-0/+10