diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-02-18 15:03:00 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-02-18 15:03:00 -0800 |
| commit | 3e3dc0bbd3029200a6d4fa3866444be54ec27616 (patch) | |
| tree | c1aff25c4905d4a436badf592ecc655beca24fed /tests | |
| parent | 54ad85c02d6903aa575ef47aa48deb22289eb836 (diff) | |
tune csmith driver
Diffstat (limited to 'tests')
| -rwxr-xr-x | tests/csmith_driver.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/csmith_driver.py b/tests/csmith_driver.py index c09108f7..a244b73c 100755 --- a/tests/csmith_driver.py +++ b/tests/csmith_driver.py @@ -4,7 +4,7 @@ Runs csmith, a C fuzzer, and looks for bugs ''' -import os, sys +import os, sys, difflib from subprocess import Popen, PIPE, STDOUT sys.path += [os.path.join(os.path.dirname(os.path.dirname(__file__)), 'tools')] @@ -24,7 +24,7 @@ while 1: print 'Tried %d, valid: %d' % (tried, valid) tried += 1 print '1) Generate C' - shared.execute([CSMITH, '--no-volatiles', '--no-math64'], stdout=open(filename + '.c', 'w')) + shared.execute([CSMITH, '--no-volatiles', '--no-math64', '--max-block-depth', '2', '--max-block-size', '2', '--max-expr-complexity', '2', '--max-funcs', '1'], stdout=open(filename + '.c', 'w')) print '2) Compile natively' shared.try_delete(filename) |