diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-05-21 12:00:02 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-05-21 12:00:02 +0200 |
| commit | 40957b8193beeca88c723af690aae136c2d88d6b (patch) | |
| tree | 3bd1d6193c8763e13de9fd1a5c04b8fcea310bf1 /executor/executor_bsd.h | |
| parent | e503f048b0f40379900055c31da154292d105791 (diff) | |
executor: exit after first detected leak in C repros
Otherwise C repros print infinite stream of the same leaks again and again.
Diffstat (limited to 'executor/executor_bsd.h')
0 files changed, 0 insertions, 0 deletions