Increase subset fuzzer timeout to 16s
authorEbrahim Byagowi <ebrahim@gnu.org>
Sun, 11 Aug 2019 19:04:48 +0000 (23:34 +0430)
committerGitHub <noreply@github.com>
Sun, 11 Aug 2019 19:04:48 +0000 (23:34 +0430)
To satisfy -valgrind and -tsan bots, very ugly

test/fuzzing/run-subset-fuzzer-tests.py

index f94c13f..820519f 100755 (executable)
@@ -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()