From 511d6fe676056a72f58daa7307267603f42003f3 Mon Sep 17 00:00:00 2001 From: Tavian Barnes Date: Sat, 16 Sep 2017 16:41:37 -0400 Subject: tests: Add tests that trigger some optimizations --- tests/test_de_morgan_not.out | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 tests/test_de_morgan_not.out (limited to 'tests/test_de_morgan_not.out') 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 -- cgit v1.2.3