From eeb08bbd4d6d6545dfdefd3a35877e0e0117c514 Mon Sep 17 00:00:00 2001 From: krasimir Date: Thu, 18 Jun 2009 17:47:06 +0000 Subject: added testcase for linearization with HOAS --- testsuite/runtime/linearize/linearize.gfs.gold | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 testsuite/runtime/linearize/linearize.gfs.gold (limited to 'testsuite/runtime/linearize/linearize.gfs.gold') diff --git a/testsuite/runtime/linearize/linearize.gfs.gold b/testsuite/runtime/linearize/linearize.gfs.gold new file mode 100644 index 000000000..22477a5ba --- /dev/null +++ b/testsuite/runtime/linearize/linearize.gfs.gold @@ -0,0 +1,3 @@ +exists x such that x is even + + -- cgit v1.2.3