diff options
| author | Wouter van Oortmerssen <aardappel@gmail.com> | 2020-08-07 12:55:47 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-07 12:55:47 -0700 |
| commit | 4b9852ad23541c851031398b835d6387b1b51393 (patch) | |
| tree | c41ad109e1e54825b4da0c823c62a28a97e0ed99 /test/gen-spec-wast.py | |
| parent | 05c1aa18e53258fefee9a8aac656280475ccf614 (diff) | |
| download | wabt-4b9852ad23541c851031398b835d6387b1b51393.tar.gz wabt-4b9852ad23541c851031398b835d6387b1b51393.tar.bz2 wabt-4b9852ad23541c851031398b835d6387b1b51393.zip | |
Added initial "memory64" proposal support (#1500)
Diffstat (limited to 'test/gen-spec-wast.py')
| -rwxr-xr-x | test/gen-spec-wast.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/gen-spec-wast.py b/test/gen-spec-wast.py index 728d2214..a36b8e7f 100755 --- a/test/gen-spec-wast.py +++ b/test/gen-spec-wast.py @@ -249,6 +249,7 @@ def main(args): parser.add_argument('--enable-bulk-memory', action='store_true') parser.add_argument('--enable-tail-call', action='store_true') parser.add_argument('--enable-reference-types', action='store_true') + parser.add_argument('--enable-memory64', action='store_true') options = parser.parse_args(args) wast2json = Executable( @@ -266,6 +267,7 @@ def main(args): '--enable-bulk-memory': options.enable_bulk_memory, '--enable-tail-call': options.enable_tail_call, '--enable-reference-types': options.enable_reference_types, + '--enable-memory64': options.enable_memory64, }) json_filename = options.file |