Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Also valgrind childs in CI, to valgrind MC apps
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 1 Apr 2023 00:32:40 +0000 (02:32 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 1 Apr 2023 00:32:40 +0000 (02:32 +0200)
tools/cmake/scripts/my_valgrind.pl

index b13a4fc..5eea545 100755 (executable)
@@ -8,7 +8,7 @@
 use strict;
 use warnings;
 
-my @argv = ("valgrind", "--quiet");
+my @argv = ("valgrind", "--quiet", "--trace-children=yes");
 my $count = 0;
 
 while (defined(my $arg = shift)) {