Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Call __gcov_flush() on abort so that gcda files are correctly written.
authorArnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Tue, 2 Oct 2012 12:37:30 +0000 (14:37 +0200)
committerArnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Tue, 2 Oct 2012 12:41:55 +0000 (14:41 +0200)
commit8ef000cc45e9b44a69b739fe0c6451f24b1f1645
tree7b47266023532ec4c156f0166427a6d63990f331
parent862a745f0700f97205f3b67efe2c3cd9a64da74f
Call __gcov_flush() on abort so that gcda files are correctly written.

This is obviously only activated with enable_coverage=ON.
buildtools/Cmake/Flags.cmake
include/xbt/sysdep.h