diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2019-01-23 16:15:38 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-23 16:15:38 -0800 |
| commit | 119525ea6078c9af697de0038407ab541f3d4c12 (patch) | |
| tree | 16aa2f609ab96975ceb8862e3ece7baaa05f5828 /src/wasm/wasm-binary.cpp | |
| parent | e63c4a7d04c145dafaf4b09de5f9f5de69cee8ef (diff) | |
| download | binaryen-119525ea6078c9af697de0038407ab541f3d4c12.tar.gz binaryen-119525ea6078c9af697de0038407ab541f3d4c12.tar.bz2 binaryen-119525ea6078c9af697de0038407ab541f3d4c12.zip | |
Validate unique local names, and use validation in wasm2js. Fixes #1885 (#1886)
* Also fixes some bugs in wasm2js tests that did not validate.
* Rename FeatureOptions => ToolOptions, as they now contain all the basic stuff each tool needs for commandline options (validation yes or no, and which features if so).
Diffstat (limited to 'src/wasm/wasm-binary.cpp')
0 files changed, 0 insertions, 0 deletions