diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-05-23 15:51:09 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-05-23 15:51:09 -0700 |
| commit | 6d280bb282553b5eb832729a42b919c36926ca90 (patch) | |
| tree | 7a32853ffdc98e225951aa093947afdde78dde5f | |
| parent | 03d5f2a3d11151887d8c2a1a0ef93011b75979c7 (diff) | |
| download | binaryen-6d280bb282553b5eb832729a42b919c36926ca90.tar.gz binaryen-6d280bb282553b5eb832729a42b919c36926ca90.tar.bz2 binaryen-6d280bb282553b5eb832729a42b919c36926ca90.zip | |
validate after running passes in shell
| -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); |