diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-05-25 19:27:24 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-05-25 19:27:24 -0700 |
| commit | 45618ddc8eee4f288a2d11d1afe763dbdeab8559 (patch) | |
| tree | 39ef392e07a56bfd1d465315b24158110523c943 /check.py | |
| parent | 948f6fe7c4d2a9256310c07c54724685f27874ac (diff) | |
| parent | 5b6918ec2245a6e3c512dcee45766731b49805cc (diff) | |
| download | binaryen-45618ddc8eee4f288a2d11d1afe763dbdeab8559.tar.gz binaryen-45618ddc8eee4f288a2d11d1afe763dbdeab8559.tar.bz2 binaryen-45618ddc8eee4f288a2d11d1afe763dbdeab8559.zip | |
Merge pull request #543 from WebAssembly/fix-merge-blocks
Fix merge blocks on named blocks
Diffstat (limited to 'check.py')
| -rwxr-xr-x | check.py | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -276,8 +276,8 @@ for t in sorted(os.listdir(os.path.join('test', 'passes'))): if t.endswith('.wast'): print '..', t passname = os.path.basename(t).replace('.wast', '') - opt = '-O' if passname == 'O' else '--' + passname - cmd = [os.path.join('bin', 'binaryen-shell'), opt, os.path.join('test', 'passes', t), '--print'] + opts = ['-O'] if passname == 'O' else ['--' + p for p in passname.split('_')] + cmd = [os.path.join('bin', 'binaryen-shell')] + opts + [os.path.join('test', 'passes', t), '--print'] actual = run_command(cmd) fail_if_not_identical(actual, open(os.path.join('test', 'passes', passname + '.txt')).read()) |