added testcases for abstract syntax computation

2009-05-20 15:01:52 +00:00
parent 5e054f9b09
commit 0d36ec5879
2 changed files with 16 additions and 0 deletions
--- a/testsuite/paraphrase/test.gfs.gold
+++ b/testsuite/paraphrase/test.gfs.gold
@@ -0,0 +1,11 @@
+Succ (Succ Zero)
+
+
+
+Succ (Succ (Succ Zero))
+
+
+
+Succ (Succ Zero)
+
+