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_comma_reachability.out | 1 + tests/test_data_flow_depth.out | 8 ++++++++ tests/test_data_flow_type.out | 0 tests/test_de_morgan_and.out | 10 ++++++++++ tests/test_de_morgan_not.out | 6 ++++++ tests/test_de_morgan_or.out | 18 ++++++++++++++++++ tests/test_double_negation.out | 3 +++ tests/test_not_reachability.out | 1 + 8 files changed, 47 insertions(+) create mode 100644 tests/test_comma_reachability.out create mode 100644 tests/test_data_flow_depth.out create mode 100644 tests/test_data_flow_type.out create mode 100644 tests/test_de_morgan_and.out create mode 100644 tests/test_de_morgan_not.out create mode 100644 tests/test_de_morgan_or.out create mode 100644 tests/test_double_negation.out create mode 100644 tests/test_not_reachability.out (limited to 'tests') diff --git a/tests/test_comma_reachability.out b/tests/test_comma_reachability.out new file mode 100644 index 0000000..15a13db --- /dev/null +++ b/tests/test_comma_reachability.out @@ -0,0 +1 @@ +basic diff --git a/tests/test_data_flow_depth.out b/tests/test_data_flow_depth.out new file mode 100644 index 0000000..350b489 --- /dev/null +++ b/tests/test_data_flow_depth.out @@ -0,0 +1,8 @@ +basic/c/d +basic/e/f +basic/g/h +basic/j/foo +basic/k/foo +basic/l/foo +basic/k/foo/bar +basic/l/foo/bar diff --git a/tests/test_data_flow_type.out b/tests/test_data_flow_type.out new file mode 100644 index 0000000..e69de29 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 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 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 diff --git a/tests/test_double_negation.out b/tests/test_double_negation.out new file mode 100644 index 0000000..e9d47b1 --- /dev/null +++ b/tests/test_double_negation.out @@ -0,0 +1,3 @@ +basic/j/foo +basic/k/foo +basic/l/foo diff --git a/tests/test_not_reachability.out b/tests/test_not_reachability.out new file mode 100644 index 0000000..15a13db --- /dev/null +++ b/tests/test_not_reachability.out @@ -0,0 +1 @@ +basic -- cgit v1.2.3