]> git.somenet.org - pub/jan/ewbs-dlv.git/blob - compchk.sh
connect testcases
[pub/jan/ewbs-dlv.git] / compchk.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                         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}:"
19                                 echo ${ret}
20                         fi
21                 fi
22         done
23 done
24