summaryrefslogtreecommitdiffstats
path: root/tests
diff options
context:
space:
mode:
Diffstat (limited to 'tests')
-rw-r--r--tests/test_comma_reachability.out1
-rw-r--r--tests/test_data_flow_depth.out8
-rw-r--r--tests/test_data_flow_type.out0
-rw-r--r--tests/test_de_morgan_and.out10
-rw-r--r--tests/test_de_morgan_not.out6
-rw-r--r--tests/test_de_morgan_or.out18
-rw-r--r--tests/test_double_negation.out3
-rw-r--r--tests/test_not_reachability.out1
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