diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-07-08 09:53:24 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-07-08 08:57:25 +0000 |
| commit | e03bdbc0e5550821e70d48113e1b3a12c913cc36 (patch) | |
| tree | 663760605085b943841ece5aa6e6959effe26c65 /executor/_include | |
| parent | 845ac4781cad8630bd75de08857b8e81198d3554 (diff) | |
executor: repair debug mode
Don't print SYZFAIL messages during machine check.
Otherwise each of them is detected as a bug.
Diffstat (limited to 'executor/_include')
0 files changed, 0 insertions, 0 deletions