diff options
| author | Sam Clegg <sbc@chromium.org> | 2017-05-23 12:00:43 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-23 12:00:43 -0700 |
| commit | 6f21c9537c59321ac9b3b7a8368e346573b02dfc (patch) | |
| tree | 0c0038826b78170429ec2e05f0293634e6e6c01b /test/run-wasm-link.py | |
| parent | 9b1a28c074d5a5c5f2151a26ac169764677b416d (diff) | |
| download | wabt-6f21c9537c59321ac9b3b7a8368e346573b02dfc.tar.gz wabt-6f21c9537c59321ac9b3b7a8368e346573b02dfc.tar.bz2 wabt-6f21c9537c59321ac9b3b7a8368e346573b02dfc.zip | |
Add debug names to wasm-link tests (#452)
Also, have wasmdump list debug names for function table
elements.
These changes make it easier to interpret the wasm-link
test outputs.
Diffstat (limited to 'test/run-wasm-link.py')
| -rwxr-xr-x | test/run-wasm-link.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/run-wasm-link.py b/test/run-wasm-link.py index 83d4d787..1c98aa40 100755 --- a/test/run-wasm-link.py +++ b/test/run-wasm-link.py @@ -87,8 +87,8 @@ def main(args): basename = os.path.basename(filename) basename_noext = os.path.splitext(basename)[0] out_file = os.path.join(out_dir, basename_noext + '.json') - wast2wasm.RunWithArgs('--spec', '--no-check', '-r', '-o', out_file, - filename) + wast2wasm.RunWithArgs('--spec', '--debug-names', '--no-check', '-r', '-o', + out_file, filename) wasm_files = utils.GetModuleFilenamesFromSpecJSON(out_file) wasm_files = [utils.ChangeDir(f, out_dir) for f in wasm_files] |