use test scripts for performing tests
[barvinok.git] / check_test.sh.in
blob5f9f55014b36807eaf8b304502593529a5e4b944
1 #!/bin/sh
3 EXEEXT=@EXEEXT@
4 top_srcdir="@top_srcdir@"
6 failed=0;
7 for i in "$top_srcdir"/tests/iscc/count/*; do
8 if test -f $i; then
9 for options in '--index=10' '--primal --index=10'; do
10 for spec in 'random' 'bf' 'df' 'todd'; do
11 opt="--specialization=$spec $options";
12 echo -n $i $opt;
13 ./iscc$EXEEXT $opt < $i;
14 if test "$?" -ne "0"; then
15 failed=`expr $failed + 1`;
16 echo " NOT ok";
17 else
18 echo " ok";
19 fi;
20 done
21 done
23 done
24 if test $failed != 0; then
25 echo "$failed tests failed";
26 exit -1;