diff options
Diffstat (limited to 'impl/test')
-rw-r--r-- | impl/test/7.eqns | 2 | ||||
-rw-r--r-- | impl/test/run | 5 |
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 "==================" |