diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-01-16 11:58:28 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-01-16 13:37:14 +0100 |
| commit | 9aaf64b3742d1d4f744e22cad567906cebb201a2 (patch) | |
| tree | 10f4ad11434fd5aef681ee22efda4077084af320 /docs | |
| parent | 4198e58824a73e58caba891994ce19e1cae7e503 (diff) | |
docs: clarify that syzbot testing can be used for debugging
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/syzbot.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/syzbot.md b/docs/syzbot.md index 147db9a77..5e02371b4 100644 --- a/docs/syzbot.md +++ b/docs/syzbot.md @@ -37,6 +37,9 @@ by sending another `#syz fix` command. and provide the patch inline or as a text attachment. Attachments are more reliable because of email clients splitting lines and messing with whitespaces. `syzbot` will test the patch on `HEAD` of the specified git repo/branch. +Note: this can be used both for testing fix patches and just for debugging +(i.e. adding additional checks to code and testing with them). +After sending an email you should get a reply email with results within an hour. - to mark the bug as a duplicate of another `syzbot` bug: ``` #syz dup: exact-subject-of-another-report |