3 if [[ "$1" == "" ]]; then
4 COMPONENTS="c psh w f s"
9 if [[ "$2" == "" ]]; then
15 for component in $(echo ${COMPONENTS})
17 for test in $(echo ${TESTS})
19 ret=`./dlv -silent ${component}.dl ${component}.test${test}.dl component.tester.dl -N=80 | egrep "UNCOMPUTED|UNEXPECTED|DUPLICATED"`
20 if [[ $? != 1 ]]; then
21 echo "Component ${component} failed at test ${test}:"