diff options
Diffstat (limited to 'test/run-spec-wasm2c.py')
| -rwxr-xr-x | test/run-spec-wasm2c.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/test/run-spec-wasm2c.py b/test/run-spec-wasm2c.py index 834d7914..e8b3ea63 100755 --- a/test/run-spec-wasm2c.py +++ b/test/run-spec-wasm2c.py @@ -383,6 +383,8 @@ def main(args): action='store_true') parser.add_argument('file', help='wast file.') parser.add_argument('--enable-multi-memory', action='store_true') + parser.add_argument('--disable-bulk-memory', action='store_true') + parser.add_argument('--disable-reference-types', action='store_true') options = parser.parse_args(args) with utils.TempDirectory(options.out_dir, 'run-spec-wasm2c-') as out_dir: @@ -393,7 +395,9 @@ def main(args): wast2json.verbose = options.print_cmd wast2json.AppendOptionalArgs({ '-v': options.verbose, - '--enable-multi-memory': options.enable_multi_memory}) + '--enable-multi-memory': options.enable_multi_memory, + '--disable-bulk-memory': options.disable_bulk_memory, + '--disable-reference-types': options.disable_reference_types}) json_file_path = utils.ChangeDir( utils.ChangeExt(options.file, '.json'), out_dir) |