3 COMPONENTS="c psh w f s"
6 if [[ "$1" != "" ]]; then
9 if [[ "$2" != "" ]]; then
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}:"