From 8253e957e54d31699b4bd827300bc1fa794c4660 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@carlo-laptop>
Date: Tue, 23 Oct 2012 18:03:33 +1100
Subject: Another fix, with a test for what the problem was.

---
 impl/test/11.eqns | 2 ++
 impl/test/11.soln | 2 ++
 2 files changed, 4 insertions(+)
 create mode 100644 impl/test/11.eqns
 create mode 100644 impl/test/11.soln

(limited to 'impl/test')

diff --git a/impl/test/11.eqns b/impl/test/11.eqns
new file mode 100644
index 0000000..4edc114
--- /dev/null
+++ b/impl/test/11.eqns
@@ -0,0 +1,2 @@
+x = y
+y = max(-100000, y+1)
diff --git a/impl/test/11.soln b/impl/test/11.soln
new file mode 100644
index 0000000..cdfcb1f
--- /dev/null
+++ b/impl/test/11.soln
@@ -0,0 +1,2 @@
+x = inf
+y = inf
-- 
cgit v1.2.3