diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-07-27 21:10:01 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-07-27 21:10:01 +0200 |
| commit | 3abee99f46fa134a188e9d137179ca3892cc5545 (patch) | |
| tree | 4200fcdda55c1bea91225605ba95800b7d786243 /executor/executor_test.h | |
| parent | a43c5ed638567cb01761434ea0c32cfd8b15ca85 (diff) | |
dashboard/app: fix crash selection for reporting
See the issue for the problem description.
Include repro level into reporting priority,
so that we can order by just it during selection
and ignore ReproC/ReproSyz.
Fixes #634
Diffstat (limited to 'executor/executor_test.h')
0 files changed, 0 insertions, 0 deletions