Index: tools/testrunner/local/execution.py |
diff --git a/tools/testrunner/local/execution.py b/tools/testrunner/local/execution.py |
index e0aec0bb9018a8bc54a5f9f94b8f42618ceef9a1..ebe49a3d4eb2df6b187d0b486d5f9d05e57f79fe 100644 |
--- a/tools/testrunner/local/execution.py |
+++ b/tools/testrunner/local/execution.py |
@@ -90,6 +90,11 @@ def GetCommand(test, context): |
shell += ".exe" |
if context.random_seed: |
d8testflag += ["--random-seed=%s" % context.random_seed] |
+ if context.dump_wasm_module: |
+ d8testflag += ["--dump_wasm_module"] |
+ if context.dump_wasm_module_path: |
+ d8testflag += ["--dump_wasm_module_path=%s" % |
+ context.dump_wasm_module_path] |
cmd = (context.command_prefix + |
[os.path.abspath(os.path.join(context.shell_dir, shell))] + |
d8testflag + |