diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-05-23 17:20:33 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-05-23 17:20:33 -0700 |
| commit | 57ec2122cf0971d7869e56699b768026268745ea (patch) | |
| tree | d436e2b89a296b9bec6878950204aa2eb7d9d8e4 /src/tools/binaryen-shell.cpp | |
| parent | a78daa409853b106228d0cca0c5564222c489e04 (diff) | |
| parent | 9a59635c2148511cb72cbd9e1f9cf1026b4a1f3a (diff) | |
| download | binaryen-57ec2122cf0971d7869e56699b768026268745ea.tar.gz binaryen-57ec2122cf0971d7869e56699b768026268745ea.tar.bz2 binaryen-57ec2122cf0971d7869e56699b768026268745ea.zip | |
Merge pull request #538 from WebAssembly/asm2wasm-validation
More validation
Diffstat (limited to 'src/tools/binaryen-shell.cpp')
| -rw-r--r-- | src/tools/binaryen-shell.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/binaryen-shell.cpp b/src/tools/binaryen-shell.cpp index 360b576c8..8f5fbe4e5 100644 --- a/src/tools/binaryen-shell.cpp +++ b/src/tools/binaryen-shell.cpp @@ -235,6 +235,7 @@ int main(int argc, const char* argv[]) { } } passRunner.run(); + assert(WasmValidator().validate(wasm)); } run_asserts(&i, &checked, &wasm, &root, &builder, entry); |