diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-03-01 21:46:12 -0500 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-03-01 21:46:12 -0500 |
| commit | d8621333e64a71097957699b82c25f97ab1daaeb (patch) | |
| tree | eb31a9bd1be165ffbdb84450b55f1702e7e729e2 /tests/fuzz | |
| parent | 37106eebf48382d77ac886ea897ca196db22f6f5 (diff) | |
update csmith driver
Diffstat (limited to 'tests/fuzz')
| -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 d6719787..be81cea7 100755 --- a/tests/fuzz/csmith_driver.py +++ b/tests/fuzz/csmith_driver.py @@ -49,7 +49,7 @@ while 1: def try_js(args): shared.try_delete(filename + '.js') print '(compile)' - shared.execute([shared.EMCC, '-O2', '-s', 'ASM_JS=1', '-s', 'PRECISE_I64_MATH=1', '-s', 'PRECISE_I32_MUL=1', filename + '.c', '-o', filename + '.js'] + CSMITH_CFLAGS + args, stderr=PIPE) + shared.execute([shared.EMCC, '-O2', '-s', 'ASM_JS=1', filename + '.c', '-o', filename + '.js'] + CSMITH_CFLAGS + args, stderr=PIPE) assert os.path.exists(filename + '.js') print '(run)' js = shared.run_js(filename + '.js', stderr=PIPE, engine=engine1, check_timeout=True) |