| 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 +
|
|
|