5 for test in log_usage \
6 dynar_int dynar_double dynar_string \
7 dict_usage dict_crash \
12 tests_nb=`expr $tests_nb + 1`
13 echo "#### Test $test"
14 ./$test --gras-log="root.thres=info" 2>&1
16 echo "## failed. Rerun $test with full details."
17 ./$test --gras-log="root.thres=debug" 2>&1
18 failed_nb=`expr $failed_nb + 1`
19 failed="$failed $test"
22 success_nb=`expr $success_nb + 1`
23 success="$success $test"
26 failed=`echo $failed|sed 's|^ ||'`
27 success=`echo $success|sed 's|^ ||'`
30 echo "$success_nb tests of $tests_nb successfull ($success)"
31 if [ $failed_nb != 0 ] ; then
32 echo "$failed_nb tests of $tests_nb failed ($failed)"
33 echo "Rerun the tests using the following command: script -c 'make test'"
34 echo " and send the file typescript it will produce to martin.quinson@ens-lyon.fr"
35 echo " along with a short description of the target platform (arch, OS, distrib, compiler)."