diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-06-30 14:37:59 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-06-30 14:37:59 +0200 |
| commit | 3c690e2e536da52a49a1e79a5415fc41d54e4819 (patch) | |
| tree | d7621d7c872f7f057a97570c1b1e94ce345f55b5 /executor/test_executor_linux.cc | |
| parent | 44594e63623bf1966fdea0e591d1afbb9a9ce469 (diff) | |
pkg/repro: ignore suppressed crashes
This looks like the simplest way to deal with suppressed crashes reported out of repro.
Fixes #645
Diffstat (limited to 'executor/test_executor_linux.cc')
0 files changed, 0 insertions, 0 deletions