diff options
| author | Tavian Barnes <tavianator@tavianator.com> | 2017-09-16 16:41:37 -0400 |
|---|---|---|
| committer | Tavian Barnes <tavianator@tavianator.com> | 2017-09-16 16:57:01 -0400 |
| commit | 511d6fe676056a72f58daa7307267603f42003f3 (patch) | |
| tree | 54323107abe5fc9b750c18dbf67262f0e353d87b /tests/test_de_morgan_or.out | |
| parent | 69a5f09e1fa0cd85bf5cd90342856ef175b40a25 (diff) | |
| download | bfs-511d6fe676056a72f58daa7307267603f42003f3.tar.xz | |
tests: Add tests that trigger some optimizations
Diffstat (limited to 'tests/test_de_morgan_or.out')
| -rw-r--r-- | tests/test_de_morgan_or.out | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/tests/test_de_morgan_or.out b/tests/test_de_morgan_or.out new file mode 100644 index 0000000..697f6b8 --- /dev/null +++ b/tests/test_de_morgan_or.out @@ -0,0 +1,18 @@ +basic +basic/a +basic/b +basic/c +basic/e +basic/g +basic/i +basic/j +basic/k +basic/l +basic/c/d +basic/e/f +basic/g/h +basic/k/foo +basic/l/foo +basic/k/foo/bar +basic/l/foo/bar +basic/l/foo/bar/baz |