summaryrefslogtreecommitdiff
path: root/impl/test
diff options
context:
space:
mode:
Diffstat (limited to 'impl/test')
-rw-r--r--impl/test/7.eqns2
-rw-r--r--impl/test/run5
2 files changed, 2 insertions, 5 deletions
diff --git a/impl/test/7.eqns b/impl/test/7.eqns
index 1f69268..2789f0e 100644
--- a/impl/test/7.eqns
+++ b/impl/test/7.eqns
@@ -1,5 +1,5 @@
x = 0
-y = max(x,a)
+y = max(-inf, x, a)
a = b
b = c
c = d
diff --git a/impl/test/run b/impl/test/run
index 826bbde..0c1886d 100644
--- a/impl/test/run
+++ b/impl/test/run
@@ -7,10 +7,7 @@ FAILED=0
echo "Testing binary: $1 in directory $DIR"
while [ -f "$DIR/$NUM.eqns" ]
do
- OUTPUT=$(timeout 5s $1 "$DIR/$NUM.eqns")
- if [ $? -eq 124 ]; then
- OUTPUT="did not terminate"
- fi
+ OUTPUT=$($1 "$DIR/$NUM.eqns")
DIFF=$(echo "$OUTPUT" | diff - "$DIR/$NUM.soln")
if [ ! -z "$DIFF" ]; then
echo "=================="