diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-10-17 15:00:01 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-10-17 15:00:01 +0200 |
| commit | a1bdb604cca448c8123f6151ec9f51213e600ebd (patch) | |
| tree | 223420fd460afcea26d7c390397d2a0353800c77 /docs/setup.md | |
| parent | 038cff25e25754b958ef8cdb03ee0a05f1178524 (diff) | |
syz-manager: extend periodic messages
Add coverage and number of reproducing programs to the periodic messages.
When all machines are busy reproducing crashes, it appears that
syz-manager hanged as number of executed programs does not increase.
Coverage is just a nice characteristic.
Also print machine check message, it appears once and contains useful info.
Diffstat (limited to 'docs/setup.md')
| -rw-r--r-- | docs/setup.md | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/docs/setup.md b/docs/setup.md index 26c06062a..d02209b35 100644 --- a/docs/setup.md +++ b/docs/setup.md @@ -20,10 +20,10 @@ $ ./bin/syz-manager -config=my.cfg 2017/06/14 16:39:05 booting test machines... 2017/06/14 16:39:05 wait for the connection from test machine... 2017/06/14 16:39:59 received first connection from test machine vm-9 -2017/06/14 16:40:05 executed programs: 9, crashes: 0 -2017/06/14 16:40:15 executed programs: 13, crashes: 0 -2017/06/14 16:40:25 executed programs: 15042, crashes: 0 -2017/06/14 16:40:35 executed programs: 24391, crashes: 0 +2017/06/14 16:40:05 executed 293, cover 43260, crashes 0, repro 0 +2017/06/14 16:40:15 executed 5992, cover 88463, crashes 0, repro 0 +2017/06/14 16:40:25 executed 10959, cover 116991, crashes 0, repro 0 +2017/06/14 16:40:35 executed 15504, cover 132403, crashes 0, repro 0 ``` More information on the configuration file format is available [here](configuration.md). |