diff options
| author | Carlo Zancanaro <carlo@carlo-laptop> | 2012-10-24 10:34:15 +1100 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@carlo-laptop> | 2012-10-24 10:34:15 +1100 |
| commit | a3860a4cd6ca6a1ee664634ea472b5487535b2b5 (patch) | |
| tree | 894e638faf1141a63c9159785779193c8546a852 /impl/test/12.soln | |
| parent | 8253e957e54d31699b4bd827300bc1fa794c4660 (diff) | |
Add a fix for mutually-recursive infinite things
So now it will solve correctly for
x = y + 1
y = max(0, x + 1)
I also added in tests for this (and a slightly different form with `x`
going through another variable, `z`, for indirection).
The tests will also stop now after five seconds of execution. If they
can't be solved in five seconds then they're considered a failure.
Diffstat (limited to 'impl/test/12.soln')
| -rw-r--r-- | impl/test/12.soln | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/impl/test/12.soln b/impl/test/12.soln new file mode 100644 index 0000000..cdfcb1f --- /dev/null +++ b/impl/test/12.soln @@ -0,0 +1,2 @@ +x = inf +y = inf |