diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-07-04 11:05:48 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-07-05 13:14:00 +0200 |
| commit | 538df42ec716cdd5c5b619bda7704d71c9200621 (patch) | |
| tree | 089e995c4f8103627db65d05829367feef870447 /executor | |
| parent | ea88000dd91165202906aef5974ac91322d57ac2 (diff) | |
pkg/repro: provide stats even for failed repro
Provide stats and logs for failed repro and save it in manager.
In particular log is useful for failed repros,
currently there is no visibility into why bugs
failed to reproduce.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions