+++ /dev/null
-#! /bin/bash
-failed_nb=0
-success_nb=0
-tests_nb=0
-for test in log_usage \
- dynar_int dynar_double dynar_string \
- dict_usage dict_crash \
- config_usage \
- \
- gs_example
-do
- tests_nb=`expr $tests_nb + 1`
- echo "#### Test $test"
- ./$test --gras-log="root.thres=info" 2>&1
- if [ $? != 0 ] ; then
- echo "## failed. Rerun $test with full details."
- ./$test --gras-log="root.thres=debug" 2>&1
- failed_nb=`expr $failed_nb + 1`
- failed="$failed $test"
- else
- echo "## Success"
- success_nb=`expr $success_nb + 1`
- success="$success $test"
- fi
-done
-failed=`echo $failed|sed 's|^ ||'`
-success=`echo $success|sed 's|^ ||'`
-echo
-echo "#### Summary"
-echo "$success_nb tests of $tests_nb successfull ($success)"
-if [ $failed_nb != 0 ] ; then
- echo "$failed_nb tests of $tests_nb failed ($failed)"
- echo "Rerun the tests using the following command: script -c 'make test'"
- echo " and send the file typescript it will produce to martin.quinson@ens-lyon.fr"
- echo " along with a short description of the target platform (arch, OS, distrib, compiler)."
-fi
-exit $failed_nb