]> git.somenet.org - pub/jan/ewbs-dlv.git/blob - connchk.sh
testscripts
[pub/jan/ewbs-dlv.git] / connchk.sh
1 #!/bin/bash
2
3 TESTS="`seq 1 1 9`"
4
5 if [[ "$2" != "" ]]; then
6         TESTS="$2"
7 fi
8
9 for test in $(echo ${TESTS}) ; do
10         if [ -e "connect.test${test}.dl" ]; then
11                 ret=`./dlv -silent c.dl psh.dl w.dl f.dl s.dl connect.dl connect.test${test}.dl connect.tester.dl -N=120 | egrep "UNCOMPUTED|UNEXPECTED|DUPLICATED"`
12                 if [[ $? != 1 ]]; then
13                         echo "Component ${component} failed at test ${test}:"
14                         echo ${ret}
15                 fi
16         fi
17 done
18