xbt/dynar_string@EXEEXT@; \
xbt/dict_usage@EXEEXT@; \
xbt/dict_crash@EXEEXT@; \
xbt/dynar_string@EXEEXT@; \
xbt/dict_usage@EXEEXT@; \
xbt/dict_crash@EXEEXT@; \
echo "$failed_nb tests of $tests_nb failed: "
cat test.failed
echo "Rerun the tests using the following command: script -c 'make test' simgrid.tests.log"
echo "$failed_nb tests of $tests_nb failed: "
cat test.failed
echo "Rerun the tests using the following command: script -c 'make test' simgrid.tests.log"
echo " - the file simgrid.tests.log produced by this command."
echo " - a short description of the target platform (arch, OS, distrib, compiler)."
echo " - the config.log produced by the compilation."
echo " - the file simgrid.tests.log produced by this command."
echo " - a short description of the target platform (arch, OS, distrib, compiler)."
echo " - the config.log produced by the compilation."