On Fri, Jul 6, 2018 at 9:41 AM, Stephan Mueller <smueller@xxxxxxxxxx> wrote: > Am Freitag, 6. Juli 2018, 09:38:41 CEST schrieb Dmitry Vyukov: > > Hi Dmitry, > >> On Thu, Jul 5, 2018 at 8:45 PM, Stephan Müller <smueller@xxxxxxxxxx> wrote: >> > Am Donnerstag, 5. Juli 2018, 19:02:01 CEST schrieb syzbot: >> > >> > Hi Dimitry, >> > >> > does the syzkaller somehow uses the "---" separator as part of the URL? >> >> It used it as branch. Please see: >> >> https://github.com/google/syzkaller/blob/master/docs/syzbot.md#testing-patch >> es >> >> for formats. In all formats a git tree is not enough. And it is not >> enough to identify code state in any other context too, it's always >> git repo + branch or commit hash. > > And which branch should I use for the kmsan.git repo? master, as specified in the original syzbot report. I will add this to the doc too.
