diff options
-rw-r--r-- | impl/test/run | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/impl/test/run b/impl/test/run index 826bbde..169edda 100644 --- a/impl/test/run +++ b/impl/test/run @@ -7,7 +7,7 @@ FAILED=0 echo "Testing binary: $1 in directory $DIR" while [ -f "$DIR/$NUM.eqns" ] do - OUTPUT=$(timeout 5s $1 "$DIR/$NUM.eqns") + OUTPUT=$(timeout 5s $1 "$DIR/$NUM.eqns" 2> /dev/null) if [ $? -eq 124 ]; then OUTPUT="did not terminate" fi |