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 | |
| parent | 69a5f09e1fa0cd85bf5cd90342856ef175b40a25 (diff) | |
| download | bfs-511d6fe676056a72f58daa7307267603f42003f3.tar.xz | |
tests: Add tests that trigger some optimizations
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/test_comma_reachability.out | 1 | ||||
| -rw-r--r-- | tests/test_data_flow_depth.out | 8 | ||||
| -rw-r--r-- | tests/test_data_flow_type.out | 0 | ||||
| -rw-r--r-- | tests/test_de_morgan_and.out | 10 | ||||
| -rw-r--r-- | tests/test_de_morgan_not.out | 6 | ||||
| -rw-r--r-- | tests/test_de_morgan_or.out | 18 | ||||
| -rw-r--r-- | tests/test_double_negation.out | 3 | ||||
| -rw-r--r-- | tests/test_not_reachability.out | 1 |
8 files changed, 47 insertions, 0 deletions
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 --- /dev/null +++ b/tests/test_data_flow_type.out 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 |