diff options
Diffstat (limited to 'impl/test/1.eqns')
| -rw-r--r-- | impl/test/1.eqns | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/impl/test/1.eqns b/impl/test/1.eqns index 0cdfd24..34c51de 100644 --- a/impl/test/1.eqns +++ b/impl/test/1.eqns @@ -1,3 +1,3 @@ -x = max(0, min(-1 + x, y)) y = max(0, 5 + x, x) z = max(0, 1 + z, 0 + x) +x = max(0, min(-1 + x, y)) |