diff options
| author | Ben Smith <binjimin@gmail.com> | 2017-01-30 10:31:43 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-30 10:31:43 -0800 |
| commit | edb3a471bc249855d5ece45dc21ee69af700b19b (patch) | |
| tree | 65f01b87003516aee6bff293aa6e092cea19c2c7 /test/run-gen-spec-js.py | |
| parent | 7965a952da0a54063df3b9a96c5a2fb293aa50ad (diff) | |
| download | wabt-edb3a471bc249855d5ece45dc21ee69af700b19b.tar.gz wabt-edb3a471bc249855d5ece45dc21ee69af700b19b.tar.bz2 wabt-edb3a471bc249855d5ece45dc21ee69af700b19b.zip | |
Remove assert_{invalid,malformed} checks from wast2wast (#296)
Now that assert_invalid is checked by wasm-interp, all spec assertions
can be handled by the interpreter. Having a subset that are also handled
by wast2wasm is not useful.
Also, there was a bug in the option parser where passing an option that
didn't match could still work if a prefix was valid.
Diffstat (limited to 'test/run-gen-spec-js.py')
| -rwxr-xr-x | test/run-gen-spec-js.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/run-gen-spec-js.py b/test/run-gen-spec-js.py index 3fa33d64..58921b81 100755 --- a/test/run-gen-spec-js.py +++ b/test/run-gen-spec-js.py @@ -61,7 +61,7 @@ def main(args): with utils.TempDirectory(options.out_dir, 'run-gen-spec-js-') as out_dir: wast2wasm = utils.Executable( find_exe.GetWast2WasmExecutable(options.bindir), '--spec', - '--no-check-assert-invalid', error_cmdline=options.error_cmdline) + error_cmdline=options.error_cmdline) wast2wasm.AppendOptionalArgs({ '-v': options.verbose, '--use-libc-allocator': options.use_libc_allocator |