From b1240603040c53bbedb3f2ac08063532a96bcd0e Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Sun, 10 Mar 2013 11:55:06 -0700 Subject: adjust csmith driver timeout --- tests/fuzz/csmith_driver.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/fuzz/csmith_driver.py b/tests/fuzz/csmith_driver.py index ac033377..b60e67f7 100755 --- a/tests/fuzz/csmith_driver.py +++ b/tests/fuzz/csmith_driver.py @@ -20,7 +20,7 @@ CSMITH_CFLAGS = ['-I' + os.path.expanduser('~/Dev/csmith/runtime/')] filename = os.path.join(shared.CANONICAL_TEMP_DIR, 'fuzzcode') -shared.DEFAULT_TIMEOUT = 1 +shared.DEFAULT_TIMEOUT = 5 tried = 0 -- cgit v1.2.3-18-g5258