From 61f90f14af8796bbed074538882e76f1e1bf3333 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>
Date: Fri, 25 May 2012 13:24:37 +1000
Subject: Try to make some more modular Fixpoint algorithms.

---
 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