diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-10-26 10:29:03 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-26 10:29:03 +0200 |
| commit | 75cdcbe1596b8282651910a6701ac6b40926ed95 (patch) | |
| tree | c93352d11874949411a57a32de4b378b45d3a4b5 | |
| parent | 0c732b810d1931ea8115e6ba75e31bdab4b9202a (diff) | |
Update syzbot.md
| -rw-r--r-- | docs/syzbot.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/syzbot.md b/docs/syzbot.md index a134eb1d6..37f8f1e84 100644 --- a/docs/syzbot.md +++ b/docs/syzbot.md @@ -58,6 +58,8 @@ machine, so the reproducer worked for it somehow. If the reproducer exits quickly, try to run it several times, or in a loop. There can be some races involved. +Exact compiler used by `syzbot` can be found [here](https://storage.googleapis.com/syzkaller/gcc-7.tar.gz). + ## No reproducer at all? Reproducers are best-effort. `syzbot` always tries to create reproducers, and |