diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-03-10 11:55:06 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-03-10 11:55:06 -0700 |
| commit | b1240603040c53bbedb3f2ac08063532a96bcd0e (patch) | |
| tree | 448c806b2337e3488bbdb432d4b7c4bcd2c5234b | |
| parent | 14010845731c216f8ce7620ccd83b965702bcdaa (diff) | |
adjust csmith driver timeout
| -rwxr-xr-x | tests/fuzz/csmith_driver.py | 2 |
1 files changed, 1 insertions, 1 deletions
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 |