Commit 363c46df authored by Ari Trachtenberg's avatar Ari Trachtenberg
Browse files

added memory constraints

parent b5871b28
Loading
Loading
Loading
Loading
+3 −2
Original line number Diff line number Diff line
@@ -71,8 +71,9 @@ benchmark:
        echo "Timeout!"
        exit 1
        fi
      if [ "$STATUS" -eq 137 ]; then
        echo "Processed killed - probably out of error"
      if [ "$STATUS" -eq 134 ] || [ "$STATUS" -eq 137 ]; then
        echo "Out of memory (status $STATUS) — aborted (134) or killed (137)"
        echo "Context: $context"
        exit 1
        fi
      if [ "$STATUS" -eq 255 ]; then