diff options
| author | Carlo Zancanaro <carlo@carlo-laptop> | 2012-10-23 14:40:38 +1100 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@carlo-laptop> | 2012-10-23 14:40:38 +1100 |
| commit | a1b28d756fe52a53d9d4da4d23853969fd529115 (patch) | |
| tree | e599c1d3820ab9613af6ab129843f4a2132e5dbc /impl/test | |
| parent | 697c1c0cd3815eee72b3eedb874fe0e044a69432 (diff) | |
Make the recursive solver work properly.
If you ignore the intermediate results for the strategy iteration phase
then you're in the clear! I think!
Diffstat (limited to 'impl/test')
| -rw-r--r-- | impl/test/10.eqns | 9 | ||||
| -rw-r--r-- | impl/test/10.soln | 9 | ||||
| -rw-r--r-- | impl/test/7.eqns | 8 | ||||
| -rw-r--r-- | impl/test/7.soln | 8 | ||||
| -rw-r--r-- | impl/test/8.eqns | 4 | ||||
| -rw-r--r-- | impl/test/8.soln | 4 | ||||
| -rw-r--r-- | impl/test/9.eqns | 5 | ||||
| -rw-r--r-- | impl/test/9.soln | 5 |
8 files changed, 52 insertions, 0 deletions
diff --git a/impl/test/10.eqns b/impl/test/10.eqns new file mode 100644 index 0000000..39598f4 --- /dev/null +++ b/impl/test/10.eqns @@ -0,0 +1,9 @@ +x = 0 +w = max(x,y,z,u,w) +y = w +z = w +u = a +a = b +b = c +c = d +d = w diff --git a/impl/test/10.soln b/impl/test/10.soln new file mode 100644 index 0000000..20a47ca --- /dev/null +++ b/impl/test/10.soln @@ -0,0 +1,9 @@ +x = 0 +w = 0 +y = 0 +z = 0 +u = 0 +a = 0 +b = 0 +c = 0 +d = 0 diff --git a/impl/test/7.eqns b/impl/test/7.eqns new file mode 100644 index 0000000..1f69268 --- /dev/null +++ b/impl/test/7.eqns @@ -0,0 +1,8 @@ +x = 0 +y = max(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 diff --git a/impl/test/8.eqns b/impl/test/8.eqns new file mode 100644 index 0000000..c9e9c4e --- /dev/null +++ b/impl/test/8.eqns @@ -0,0 +1,4 @@ +x = 0 +w = max(x,y,z) +y = w +z = w diff --git a/impl/test/8.soln b/impl/test/8.soln new file mode 100644 index 0000000..1945057 --- /dev/null +++ b/impl/test/8.soln @@ -0,0 +1,4 @@ +x = 0 +w = 0 +y = 0 +z = 0 diff --git a/impl/test/9.eqns b/impl/test/9.eqns new file mode 100644 index 0000000..b85e118 --- /dev/null +++ b/impl/test/9.eqns @@ -0,0 +1,5 @@ +x = 0 +w = max(x,y,z,u) +y = w +z = w +u = w diff --git a/impl/test/9.soln b/impl/test/9.soln new file mode 100644 index 0000000..616c5e5 --- /dev/null +++ b/impl/test/9.soln @@ -0,0 +1,5 @@ +x = 0 +w = 0 +y = 0 +z = 0 +u = 0 |