diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-11-17 21:04:40 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-11-17 21:04:40 +0100 |
| commit | bf82068946b108f116ac203b4a6e3c4c5ddabbf0 (patch) | |
| tree | 1d737bfe56687aa17bf361c78991767f1fdd0419 /docs/syzbot.md | |
| parent | a1469efbdd141a26696fdef392334dc337b4d924 (diff) | |
dashboard/app: assorted improvements/fixes for patch testing
Fix a bunch of bugs after testing.
Also update docs for patch testing.
Diffstat (limited to 'docs/syzbot.md')
| -rw-r--r-- | docs/syzbot.md | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/docs/syzbot.md b/docs/syzbot.md index d061ac59e..21b231887 100644 --- a/docs/syzbot.md +++ b/docs/syzbot.md @@ -23,6 +23,13 @@ The commands are: ``` #syz fix: exact-commit-title ```` +- to test a patch for a bug *with reproducer*: +``` +#syz test: git://repo/address.git branch +``` +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. - to mark the bug as a duplicate of another `syzbot` bug: ``` #syz dup: exact-subject-of-another-report |