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_and.out | |
parent | 69a5f09e1fa0cd85bf5cd90342856ef175b40a25 (diff) | |
download | bfs-511d6fe676056a72f58daa7307267603f42003f3.tar.xz |
tests: Add tests that trigger some optimizations
Diffstat (limited to 'tests/test_de_morgan_and.out')
-rw-r--r-- | tests/test_de_morgan_and.out | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/test_de_morgan_and.out b/tests/test_de_morgan_and.out new file mode 100644 index 0000000..723790f --- /dev/null +++ b/tests/test_de_morgan_and.out @@ -0,0 +1,10 @@ +basic +basic/c +basic/e +basic/g +basic/i +basic/j +basic/k +basic/l +basic/g/h +basic/l/foo/bar |