additional tests for linearizations

2010-01-12 13:18:37 +00:00
parent 712d079e7c
commit f8af5122b5
4 changed files with 57 additions and 5 deletions
--- a/testsuite/runtime/linearize/linearize.gfs.gold
+++ b/testsuite/runtime/linearize/linearize.gfs.gold
@@ -1,3 +1,30 @@
+?1 is even
+
+



+exists x such that x is even
+
+
+
+
+
+a
+
+
+
+
+
+aa a
+
+
+
+
+
+a b
+
+
+
+
+