diff options
author | Alon Zakai <alonzakai@gmail.com> | 2013-03-01 23:18:10 -0500 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2013-03-01 23:18:10 -0500 |
commit | 2be0fae9affd2cd17373909deba7990941c318a3 (patch) | |
tree | 6a74fd039ae99898d6ecdcf60b64197e0c556f99 /tests | |
parent | 2a4ac40341c5380228812180a09343dd787bad8b (diff) |
do not use packed structs in fuzzer, we don't really support that
Diffstat (limited to 'tests')
-rwxr-xr-x | tests/fuzz/csmith_driver.py | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/tests/fuzz/csmith_driver.py b/tests/fuzz/csmith_driver.py index be81cea7..bba3c491 100755 --- a/tests/fuzz/csmith_driver.py +++ b/tests/fuzz/csmith_driver.py @@ -30,11 +30,13 @@ while 1: print 'Tried %d, notes: %s' % (tried, notes) 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', '--no-packed-struct'] + + ['--max-block-depth', '2', '--max-block-size', '2', '--max-expr-complexity', '2', '--max-funcs', '2'], + stdout=open(filename + '.c', 'w')) print '2) Compile natively' shared.try_delete(filename) - shared.execute([shared.CLANG_CC, '-O2', filename + '.c', '-o', filename] + CSMITH_CFLAGS, stderr=PIPE) + shared.execute([shared.CLANG_CC, '-O2', filename + '.c', '-o', filename] + CSMITH_CFLAGS, stderr=PIPE) # + shared.EMSDK_OPTS assert os.path.exists(filename) print '3) Run natively' try: @@ -71,7 +73,7 @@ while 1: if not ok: print "EMSCRIPTEN BUG" notes['embug'] += 1 - continue #break + break #if not ok: # try: # finally, try with safe heap. if that is triggered, this is nonportable code almost certainly # try_js(['-s', 'SAFE_HEAP=1']) @@ -99,4 +101,3 @@ while 1: assert js2 == correct, ''.join([a.rstrip()+'\n' for a in difflib.unified_diff(correct.split('\n'), js2.split('\n'), fromfile='expected', tofile='actual')]) + 'ODIN FAIL' print 'odin ok' - |