From f8af5122b5dd1e09288df59e5f6d77705f99b287 Mon Sep 17 00:00:00 2001 From: krasimir Date: Tue, 12 Jan 2010 13:18:37 +0000 Subject: additional tests for linearizations --- testsuite/runtime/linearize/linearize.gfs.gold | 27 ++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) (limited to 'testsuite/runtime/linearize/linearize.gfs.gold') diff --git a/testsuite/runtime/linearize/linearize.gfs.gold b/testsuite/runtime/linearize/linearize.gfs.gold index 22477a5ba..90630ee0b 100644 --- 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 + + +abcd is string + + +100 is integer + + +12.4 is float + + +xyz is string + + + + + -- cgit v1.2.3