Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
tesh: rerun the command in valgrind if it segfaults
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 29 Oct 2023 14:05:54 +0000 (15:05 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 29 Oct 2023 14:06:00 +0000 (15:06 +0100)
commitf575793ee1442b9e9bf32b561d5f9f230a258d62
treed6dfcae3b18e20f992fa00e744fa5c28649812f9
parent732fa298b5797e83b27340837332cce4384d157a
tesh: rerun the command in valgrind if it segfaults

This is particuly useful when experiencing segfaults in our test suite
on some exotic OS that has valgrind (say hello to FreeBSD here)
tools/tesh/tesh.py