diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-03-05 14:45:59 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-03-05 14:45:59 +0100 |
| commit | a091396fc1a15a1840e9cecbcc67e0e05dfaffda (patch) | |
| tree | 6dbd14a27ec320c86aed9eacc770b1d63b418b0d /executor/executor.cc | |
| parent | 895e034a4df54478c0745940a25ecb7329f8bd81 (diff) | |
syz-dash: add search over reports
- add claimed status for bugs
- add search over all reports
- some other minor improvements
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions