summaryrefslogtreecommitdiff
path: root/impl/test/run
diff options
context:
space:
mode:
authorCarlo Zancanaro <carlo@carlo-laptop>2012-10-24 10:34:15 +1100
committerCarlo Zancanaro <carlo@carlo-laptop>2012-10-24 10:34:15 +1100
commita3860a4cd6ca6a1ee664634ea472b5487535b2b5 (patch)
tree894e638faf1141a63c9159785779193c8546a852 /impl/test/run
parent8253e957e54d31699b4bd827300bc1fa794c4660 (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/run')
-rw-r--r--impl/test/run5
1 files changed, 4 insertions, 1 deletions
diff --git a/impl/test/run b/impl/test/run
index 0c1886d..826bbde 100644
--- a/impl/test/run
+++ b/impl/test/run
@@ -7,7 +7,10 @@ FAILED=0
echo "Testing binary: $1 in directory $DIR"
while [ -f "$DIR/$NUM.eqns" ]
do
- OUTPUT=$($1 "$DIR/$NUM.eqns")
+ OUTPUT=$(timeout 5s $1 "$DIR/$NUM.eqns")
+ if [ $? -eq 124 ]; then
+ OUTPUT="did not terminate"
+ fi
DIFF=$(echo "$OUTPUT" | diff - "$DIR/$NUM.soln")
if [ ! -z "$DIFF" ]; then
echo "=================="