diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-12-08 18:45:02 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-08 18:45:02 +0100 |
| commit | 8e1e4403ac29a60350169da5449a1497635ee13b (patch) | |
| tree | b16c16e45e84372f1920b736dedfe6d32a9c4d9b /docs | |
| parent | 2d8c311ede213548106d09f5d1785c2cb21d06e5 (diff) | |
Update syzbot.md
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/syzbot.md | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/docs/syzbot.md b/docs/syzbot.md index 3d532a8a8..a352f995d 100644 --- a/docs/syzbot.md +++ b/docs/syzbot.md @@ -23,6 +23,11 @@ The commands are: ``` #syz fix: exact-commit-title ```` +It's enough that the commit is merged into any tree, in particular, +you don't need to wait for the commit to be merged into upstream tree. +`syzbot` only needs to know the title by which it will appear in tested trees. +In case of an error or a title change, you can override the commit simply +by sending another `#syz fix` command. - to test a patch for a bug *with reproducer*: ``` #syz test: git://repo/address.git branch @@ -38,10 +43,11 @@ reliable because of email clients splitting lines and messing with whitespaces. ``` #syz invalid ``` -Note: if the crash happens again, it will cause creation of a new bug report. +**Note**: if the crash happens again, it will cause creation of a new bug report. -Note: all commands must start from beginning of the line. -Note: please keep `syzkaller-bugs@googlegroups.com` mailing list in CC. +**Note**: all commands must start from beginning of the line. + +**Note**: please keep `syzkaller-bugs@googlegroups.com` mailing list in CC. It serves as a history of what happened with each bug report. ## syzkaller reproducers |