diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-04-29 16:30:40 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-04-29 16:30:40 -0700 |
| commit | 199c7d3e558d4c2f3dc6be1e0fc826ca45b52b8f (patch) | |
| tree | c3a7cc43a52a5b006d2ae6acd9470c18a778d15d /src/binaryen-shell.cpp | |
| parent | eb2ea67bf52eac93de977922763a0ee3787be240 (diff) | |
| parent | af6b1a77673b1c49f4501918385bd463c50cb28b (diff) | |
| download | binaryen-199c7d3e558d4c2f3dc6be1e0fc826ca45b52b8f.tar.gz binaryen-199c7d3e558d4c2f3dc6be1e0fc826ca45b52b8f.tar.bz2 binaryen-199c7d3e558d4c2f3dc6be1e0fc826ca45b52b8f.zip | |
Merge pull request #416 from WebAssembly/full-validation-nice
Full validation
Diffstat (limited to 'src/binaryen-shell.cpp')
| -rw-r--r-- | src/binaryen-shell.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/binaryen-shell.cpp b/src/binaryen-shell.cpp index 509bd97dc..f988379c4 100644 --- a/src/binaryen-shell.cpp +++ b/src/binaryen-shell.cpp @@ -217,6 +217,7 @@ int main(int argc, const char* argv[]) { std::unique_ptr<SExpressionWasmBuilder> builder( new SExpressionWasmBuilder(wasm, *root[i], [&]() { abort(); })); i++; + assert(WasmValidator().validate(wasm)); MixedArena moreModuleAllocations; |