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