connchk.sh

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