compchk.sh

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