diff options
author | Michael Ferris <mike.ferris@hotmail.com> | 2016-06-08 10:09:25 -0700 |
---|---|---|
committer | Ben Smith <binjimin@gmail.com> | 2016-06-08 10:09:25 -0700 |
commit | 88acd087e8b758f72a60f07e79c6febf37f0b84e (patch) | |
tree | 556b87320af108107078511a2ea3a1f1aa690cb8 /test/run-js.py | |
parent | e8f8aa4eddc2e27251690027263b61b9138dbcd7 (diff) | |
download | wabt-88acd087e8b758f72a60f07e79c6febf37f0b84e.tar.gz wabt-88acd087e8b758f72a60f07e79c6febf37f0b84e.tar.bz2 wabt-88acd087e8b758f72a60f07e79c6febf37f0b84e.zip |
Teach test scripts about ch.exe (#87)
Diffstat (limited to 'test/run-js.py')
-rwxr-xr-x | test/run-js.py | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/test/run-js.py b/test/run-js.py index 612d71df..92cc5dcc 100755 --- a/test/run-js.py +++ b/test/run-js.py @@ -51,18 +51,22 @@ def GetExeBasename(exe): def GetJSExecutable(options): exe = find_exe.GetJSExecutable(options.js_executable) - if GetExeBasename(exe) == 'd8': + basename = GetExeBasename(exe) + if basename == 'd8': return utils.Executable(exe, + basename=basename, clean_stdout=CleanD8Stdout, clean_stderr=CleanD8Stderr, error_cmdline=options.error_cmdline) else: - return utils.Executable(exe, error_cmdline=options.error_cmdline) + return utils.Executable(exe, basename=basename, error_cmdline=options.error_cmdline) def RunJS(js, js_file, out_file): - if GetExeBasename(js.exe) == 'd8': + if js.basename == 'd8': js.RunWithArgs('--expose-wasm', js_file, '--', out_file) + elif js.basename == 'ch': + js.RunWithArgs('-on:WasmLazyTrap', js_file, '-args', out_file, '-endargs') else: js.RunWithArgs(js_file, out_file) |