test.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         echo "Testing components ${component}:"
  18         for test in $(echo ${TESTS})
  19         do
  20                 echo "Running test ${test}:"
  21                 ./dlv -silent ${component}.dl ${component}.test${test}.dl component.tester.dl -N=80
  22         done
  23         echo ""
  24 done
  25