diff options
author | Ben Smith <binjimin@gmail.com> | 2017-10-03 10:28:34 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-03 10:28:34 -0700 |
commit | 0e08c4974e614e05ecb72f25df07c04ff02b1ad0 (patch) | |
tree | bd52ec46e8aff4140935205b349c1889d0d04108 /test/run-wasm-link.py | |
parent | b10a3ab9187003f9e8ba84ef714821227981e77b (diff) | |
download | wabt-0e08c4974e614e05ecb72f25df07c04ff02b1ad0.tar.gz wabt-0e08c4974e614e05ecb72f25df07c04ff02b1ad0.tar.bz2 wabt-0e08c4974e614e05ecb72f25df07c04ff02b1ad0.zip |
Add spectest-interp tool; split from wasm-interp (#643)
* `wasm-interp` tool now only runs `.wasm` file, not spec tests
* `wasm-interp` has a new flag `--host-print` for importing a print
function named "host.print"
* `spectest-interp` tool runs only `.json` files
Diffstat (limited to 'test/run-wasm-link.py')
-rwxr-xr-x | test/run-wasm-link.py | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/test/run-wasm-link.py b/test/run-wasm-link.py index 6fb24b1b..7470c2c3 100755 --- a/test/run-wasm-link.py +++ b/test/run-wasm-link.py @@ -73,13 +73,14 @@ def main(args): find_exe.GetWasmdumpExecutable(options.bindir), error_cmdline=options.error_cmdline) - wasm_interp = utils.Executable(find_exe.GetWasmInterpExecutable( - options.bindir), error_cmdline=options.error_cmdline) + spectest_interp = utils.Executable( + find_exe.GetSpectestInterpExecutable(options.bindir), + error_cmdline=options.error_cmdline) wast2json.verbose = options.print_cmd wasm_link.verbose = options.print_cmd wasm_objdump.verbose = options.print_cmd - wasm_interp.verbose = options.print_cmd + spectest_interp.verbose = options.print_cmd filename = options.file @@ -123,7 +124,7 @@ def main(args): with open(out_file, 'wb') as json_file: json.dump(spec, json_file, indent=4) - wasm_interp.RunWithArgs('--spec', out_file) + spectest_interp.RunWithArgs(out_file) if __name__ == '__main__': |