test_fault

   1 #!/bin/bash
   2
   3 if [[ "$1" == "" ]]; then
   4         TESTS=`seq 10`
   5 else
   6         TESTS="$1"
   7 fi
   8
   9 if [[ $2 == "" ]]; then
  10         DIAG="FRsingle"
  11 else
  12         DIAG="$2"
  13 fi
  14
  15 for test in $(echo ${TESTS})
  16 do
  17         echo "Running test ${test}:"
  18         ./dlv -silent -${DIAG} c.dl psh.dl w.dl f.dl s.dl connect.dl abnormal.hyp connect.test${test}.dl -N=60
  19         echo ""
  20 done