Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Call __gcov_reset after __gcov_dump.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 1 Mar 2022 15:42:06 +0000 (16:42 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 1 Mar 2022 15:45:30 +0000 (16:45 +0100)
commitb2f609c894019238fbf292cd2220a4806fd78aaf
tree0016236900f9c39f3f142f6177a890acaaa0be37
parent391815662d71f9337783f96a7ef8550c3d3e94e0
Call __gcov_reset after __gcov_dump.

__gcov_flush did it before its removal:
https://gcc.gnu.org/git/?p=gcc.git;a=commitdiff;h=811b7636cb8c10f1a550a76242b5666c7ae36da2

[ci-skip]
src/include/xbt/coverage.h