diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2022-11-23 15:19:44 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2022-11-23 16:43:13 +0100 |
| commit | 351d395f89a03f58ec8cdf953847ab1458cdc7e5 (patch) | |
| tree | 21e4f6358a2c6d99bfe1c62ba070c8a9e6a40e07 /sys/linux | |
| parent | 3d2ae8da954483557310389082bbaeb5447dcf82 (diff) | |
sys/linux: increase syz_read_part_table timeout
In my runs these calls take 80-100ms, so increase it to 200ms.
Diffstat (limited to 'sys/linux')
| -rw-r--r-- | sys/linux/filesystem.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/linux/filesystem.txt b/sys/linux/filesystem.txt index 68f76b83f..1e67ac34c 100644 --- a/sys/linux/filesystem.txt +++ b/sys/linux/filesystem.txt @@ -86,7 +86,7 @@ loop_filename { z const[0, int8] } [packed] -syz_read_part_table(size len[img], img ptr[in, compressed_image]) (no_generate, no_minimize) +syz_read_part_table(size len[img], img ptr[in, compressed_image]) (timeout[200], no_generate, no_minimize) define SYZ_MOUNT_IMAGE_TIMEOUT 4000 |