Robust/src/Benchmarks/SSJava/JavaNator/observe-new-error-seed.sh

   1 #!/bin/bash
   2
   3 usage () {
   4   echo 'usage:'
   5   echo '  observe-new-error-seed <inv prob> <random seed> '
   6 }
   7
   8
   9 if [[ -z $1 ]] ; then
  10   usage
  11   echo 'Please supply an inverse probability. (e.g. 1000)'
  12   exit
  13 fi
  14
  15 if [[ -z $2 ]] ; then
  16   usage
  17   echo 'Please supply a random seed.'
  18   exit
  19 fi
  20
  21 trycommand () {
  22   $1
  23   if [[ ! $? ]] ; then
  24     echo "FAILED: $1"
  25     exit
  26   fi
  27 }
  28
  29 trycommand "make cleanerror"
  30 trycommand "make error INV_ERROR_PROB=$1 RANDOMSEED=$2"
  31 trycommand "run-error-batchmode.sh output.tmp"
  32 trycommand "cat output.tmp"
  33 trycommand "rm output.tmp"
  34