diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2024-09-04 16:01:38 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2024-09-04 14:21:11 +0000 |
| commit | 8cf7b72368903bf5225e088dd330cc47e34d8bb5 (patch) | |
| tree | 97d18fe4830ae9052b681bb7cd267c69c7c84661 /executor/executor_runner.h | |
| parent | 0b816f26cf705be2dde67e140ef01ee136eea378 (diff) | |
pkg/manager: give preference to never reproduced crashes
First consider how many times we've tried to reproduce the crash, and
only then look at other criteria.
This will make the reproduction process more just since in the presence
of multiple crashes in the queue we will give at least one chance to a
wider range of different crashes.
Diffstat (limited to 'executor/executor_runner.h')
0 files changed, 0 insertions, 0 deletions