diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-02-27 20:21:30 -0500 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-02-27 20:21:30 -0500 |
| commit | 985f71322dd35a187a0103e2de36facf63138adc (patch) | |
| tree | 7df8e41d2814b75e7b5b589148cb888bae22e0fa | |
| parent | 42da4e19f9d72026be6642c8b54f646c6d828dde (diff) | |
csmith driver debug output
| -rwxr-xr-x | tests/fuzz/csmith_driver.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/fuzz/csmith_driver.py b/tests/fuzz/csmith_driver.py index 1cb85451..d6719787 100755 --- a/tests/fuzz/csmith_driver.py +++ b/tests/fuzz/csmith_driver.py @@ -48,8 +48,10 @@ 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) assert os.path.exists(filename + '.js') + print '(run)' js = shared.run_js(filename + '.js', stderr=PIPE, engine=engine1, check_timeout=True) assert correct == js, ''.join([a.rstrip()+'\n' for a in difflib.unified_diff(correct.split('\n'), js.split('\n'), fromfile='expected', tofile='actual')]) |