diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-03-02 18:16:57 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-03-02 18:16:57 -0800 |
| commit | 92499c33f51a020663f48b02ffdcb5c0721f3020 (patch) | |
| tree | 69d7d4e65464386f6d390e8758b2db93de74642b | |
| parent | 748dadbc72ae9905585f07bae111c2b29c8d764e (diff) | |
set csmith fuzzer to max
| -rwxr-xr-x | tests/fuzz/csmith_driver.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tests/fuzz/csmith_driver.py b/tests/fuzz/csmith_driver.py index 6e1c0764..a00a5344 100755 --- a/tests/fuzz/csmith_driver.py +++ b/tests/fuzz/csmith_driver.py @@ -30,8 +30,8 @@ while 1: print 'Tried %d, notes: %s' % (tried, notes) tried += 1 print '1) Generate C' - shared.execute([CSMITH, '--no-volatiles', '--no-math64', '--no-packed-struct'] + - ['--max-block-depth', '2', '--max-block-size', '2', '--max-expr-complexity', '2', '--max-funcs', '2'], + shared.execute([CSMITH, '--no-volatiles', '--no-math64', '--no-packed-struct'],# + + #['--max-block-depth', '2', '--max-block-size', '2', '--max-expr-complexity', '2', '--max-funcs', '2'], stdout=open(filename + '.c', 'w')) print '1) Generate C... %.2f K of C source' % (len(open(filename + '.c').read())/1024.) @@ -43,9 +43,9 @@ while 1: shutil.move(filename + '.bc.run', filename + '2') print '3) Run natively' try: - correct1 = shared.timeout_run(Popen([filename + '1'], stdout=PIPE, stderr=PIPE), 3) + correct1 = shared.timeout_run(Popen([filename + '1'], stdout=PIPE, stderr=PIPE), 5) if 'Segmentation fault' in correct1 or len(correct1) < 10: raise Exception('segfault') - correct2 = shared.timeout_run(Popen([filename + '2'], stdout=PIPE, stderr=PIPE), 3) + correct2 = shared.timeout_run(Popen([filename + '2'], stdout=PIPE, stderr=PIPE), 5) if 'Segmentation fault' in correct2 or len(correct2) < 10: raise Exception('segfault') except Exception, e: print 'Failed or infinite looping in native, skipping', e |