diff options
Diffstat (limited to 'scripts/fuzz_passes_wast.py')
| -rw-r--r-- | scripts/fuzz_passes_wast.py | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/scripts/fuzz_passes_wast.py b/scripts/fuzz_passes_wast.py index 5ec032de1..7691cbbf5 100644 --- a/scripts/fuzz_passes_wast.py +++ b/scripts/fuzz_passes_wast.py @@ -53,10 +53,11 @@ args = sys.argv[2:] def run(): try: - print 'run', ['bin/wasm-opt', wast] - subprocess.check_call(['bin/wasm-opt', wast]) + cmd = ['bin/wasm-opt', wast] + print 'run', cmd + subprocess.check_call(cmd, stderr=open('/dev/null')) except Exception, e: - print ">>> !!! ", e, " !!!" + return ">>> !!! ", e, " !!!" return 'ok' original_wast = None @@ -105,6 +106,7 @@ try: tested = set() def pick_passes(): + # return '--waka'.split(' ') ret = [] while 1: str_ret = str(ret) |