summaryrefslogtreecommitdiff
path: root/impl/test
diff options
context:
space:
mode:
Diffstat (limited to 'impl/test')
-rw-r--r--impl/test/7.eqns8
-rw-r--r--impl/test/7.soln8
2 files changed, 16 insertions, 0 deletions
diff --git a/impl/test/7.eqns b/impl/test/7.eqns
new file mode 100644
index 0000000..2789f0e
--- /dev/null
+++ b/impl/test/7.eqns
@@ -0,0 +1,8 @@
+x = 0
+y = max(-inf, x, a)
+a = b
+b = c
+c = d
+d = e
+e = f
+f = y
diff --git a/impl/test/7.soln b/impl/test/7.soln
new file mode 100644
index 0000000..0d85468
--- /dev/null
+++ b/impl/test/7.soln
@@ -0,0 +1,8 @@
+x = 0
+y = 0
+a = 0
+b = 0
+c = 0
+d = 0
+e = 0
+f = 0