diff options
author | Alon Zakai <alonzakai@gmail.com> | 2013-02-24 16:34:59 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2013-02-24 16:34:59 -0800 |
commit | 6783ff52ea232aed967ddf55f21043f6b40d1126 (patch) | |
tree | da0bc4d435e6a5ee6ff7c474e650be60a683781a /tests/fuzz/csmith_driver.py | |
parent | 372247582585c1dd3f0d280e4e5b49e48efb9799 (diff) |
creduce support
Diffstat (limited to 'tests/fuzz/csmith_driver.py')
-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 62524a93..439dd308 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 = 3 +shared.DEFAULT_TIMEOUT = 1 tried = 0 |