Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rerun the test if LeakSanitizer crashed while running it
This crash (see google/sanitizers#1353) happens sporadically but regularly enough to be annoying, so try to work around it by rerunning the test and hope that it doesn't happen twice in a row.
- Loading branch information