diff options
Diffstat (limited to 'fuzz')
-rw-r--r-- | fuzz/Makefile.am | 4 | ||||
-rw-r--r-- | fuzz/html.options | 2 | ||||
-rw-r--r-- | fuzz/uri.options | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/fuzz/Makefile.am b/fuzz/Makefile.am index 2bbdbb1f..7d383470 100644 --- a/fuzz/Makefile.am +++ b/fuzz/Makefile.am @@ -74,7 +74,7 @@ fuzz-html: html$(EXEEXT) seed/html.stamp ./html$(EXEEXT) \ -dict=html.dict \ -max_len=1000000 \ - -timeout=20 \ + -timeout=10 \ corpus/html seed/html # Regexp fuzzer @@ -99,7 +99,7 @@ fuzz-uri: uri$(EXEEXT) @mkdir -p corpus/uri ./uri$(EXEEXT) \ -max_len=10000 \ - -timeout=5 \ + -timeout=2 \ corpus/uri $(srcdir)/seed/uri # XML Schema fuzzer diff --git a/fuzz/html.options b/fuzz/html.options index e5d3bbee..1c63f53d 100644 --- a/fuzz/html.options +++ b/fuzz/html.options @@ -1,2 +1,2 @@ [libfuzzer] -timeout = 20 +timeout = 10 diff --git a/fuzz/uri.options b/fuzz/uri.options index ea2a7a23..0676c659 100644 --- a/fuzz/uri.options +++ b/fuzz/uri.options @@ -1,2 +1,2 @@ [libfuzzer] -timeout = 5 +timeout = 2 |