summaryrefslogtreecommitdiff
path: root/impl/test
diff options
context:
space:
mode:
authorZancanaro; Carlo <czan8762@plang3.cs.usyd.edu.au>2012-11-01 20:02:14 +1100
committerZancanaro; Carlo <czan8762@plang3.cs.usyd.edu.au>2012-11-01 20:02:14 +1100
commitff5ec13849a69ef4a53bab009eed880456931a14 (patch)
tree30e3930211163c7a032b53de9c2c9b44f26a1d27 /impl/test
parentb7eaa99578037789a337c5061c0ea8ee3150b63c (diff)
Fixing up some equation system stuff.
Adding function arguments to the system, as well as making it slightly easier to read.
Diffstat (limited to 'impl/test')
-rw-r--r--impl/test/14.eqns3
-rw-r--r--impl/test/14.soln3
2 files changed, 6 insertions, 0 deletions
diff --git a/impl/test/14.eqns b/impl/test/14.eqns
new file mode 100644
index 0000000..6c28481
--- /dev/null
+++ b/impl/test/14.eqns
@@ -0,0 +1,3 @@
+x = 0
+y = max(x, z)
+z = y + 1
diff --git a/impl/test/14.soln b/impl/test/14.soln
new file mode 100644
index 0000000..c0301bb
--- /dev/null
+++ b/impl/test/14.soln
@@ -0,0 +1,3 @@
+x = 0
+y = inf
+z = inf