chk.sh

   1 #!/bin/bash
   2
   3 if [[ "$1" == "" ]]; then
   4         COMPONENTS="c psh w f s"
   5 else
   6         COMPONENTS="$1"
   7 fi
   8
   9 if [[ "$2" == "" ]]; then
  10         TESTS="1 2 3 4 5"
  11 else
  12         TESTS="$2"
  13 fi
  14
  15 for component in $(echo ${COMPONENTS})
  16 do
  17         for test in $(echo ${TESTS})
  18         do
  19                 ret=`./dlv -silent ${component}.dl ${component}.test${test}.dl component.tester.dl -N=80 | egrep "UNCOMPUTED|UNEXPECTED|DUPLICATED"`
  20                 if [[ $? != 1 ]]; then
  21                         echo "Component ${component} failed at test ${test}:"
  22                         echo ${ret}
  23                 fi
  24         done
  25 done
  26