From ea05c9c5fa30b8822f618e861d12a09df1f8f017 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@carlo-laptop>
Date: Mon, 28 May 2012 13:00:50 +1000
Subject: Fix memory error and x = max(-inf, expr) stuff.

---
 impl/systems/min-test | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 impl/systems/min-test

(limited to 'impl/systems/min-test')

diff --git a/impl/systems/min-test b/impl/systems/min-test
new file mode 100644
index 0000000..a05a662
--- /dev/null
+++ b/impl/systems/min-test
@@ -0,0 +1,3 @@
+x1 = min(1, x1)
+x2 = min(x2+1, x3)
+x3 = 0
-- 
cgit v1.2.3