add test case for reduction node sharing

[sbp.git] / tests / regression.tc

diff --git a/tests/regression.tc b/tests/regression.tc
index 80b83c8..c72c01d 100644 (file)
--- a/tests/regression.tc
+++ b/tests/regression.tc
@@ -449,8 +449,17 @@ testcase "epsilon as a positive conjunct" {
     X:: = "a" ("b"+ & ())
 }
 
+testcase "ensure sharing of so-called reduction nodes" {
+    input "a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a ";
+    ignore output;
+    s:: = (S!)+
+    S:: = A:: "a "
+        | B:: "a "
+}
+
 testcase "epsilon as a negative conjunct" {
     input "aaaaa";
     s:: = X*
     X:: = "a" ("b"* &~ ())
 }
+