comptest.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                         echo "Running test ${test}:"
  17                         ./dlv -silent ${component}.dl ${component}.test${test}.dl component.tester.dl -N=120
  18                 fi
  19         done
  20         echo ""
  21 done
  22