Commit fb07c12c authored by Ari Trachtenberg's avatar Ari Trachtenberg
Browse files

Updated to trap other types of crashes.

parent 321f6e16
Loading
Loading
Loading
Loading
+6 −0
Original line number Diff line number Diff line
@@ -81,6 +81,12 @@ benchmark:
        echo "Context: $context"
        exit 1
        fi
      if [ "$STATUS" -ge 128 ] && [ "$STATUS" -le 192 ]; then
        sig=$((STATUS - 128))
        echo "Crashed / terminated by signal $sig (exit $STATUS)"
        echo "Context: $context"
        exit 1
      fi
      
      score="$(tail -n 1 extra3.out | tr -d '[:space:]')"
    - echo "$context"