]> git.somenet.org - pub/jan/ewbs-dlv.git/blob - test_fault
test script updates
[pub/jan/ewbs-dlv.git] / test_fault
1 #!/bin/bash
2
3 if [[ "$1" == "" ]]; then
4         TESTS=`seq 10`
5 else
6         TESTS="$1"
7 fi
8
9 if [[ $2 == "" ]]; then
10         DIAG="FRsingle"
11 else
12         DIAG="$2"
13 fi
14
15 for test in $(echo ${TESTS})
16 do
17         echo "Running test ${test}:"
18         ./dlv -silent -${DIAG} c.dl psh.dl w.dl f.dl s.dl connect.dl abnormal.hyp connect.test${test}.dl -N=60
19         echo ""
20 done