Increase subset fuzzer timeout to 16s

To satisfy -valgrind and -tsan bots, very ugly
This commit is contained in:
Ebrahim Byagowi 2019-08-11 23:34:48 +04:30 committed by GitHub
parent 5b9cf191fe
commit b31d627f15
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -33,7 +33,7 @@ def cmd(command):
def timeout(p, is_killed):
is_killed['value'] = True
p.kill()
timer = threading.Timer (8, timeout, [p, is_killed])
timer = threading.Timer (16, timeout, [p, is_killed])
try:
timer.start()