From 6d280bb282553b5eb832729a42b919c36926ca90 Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Mon, 23 May 2016 15:51:09 -0700 Subject: validate after running passes in shell --- src/tools/binaryen-shell.cpp | 1 + 1 file changed, 1 insertion(+) (limited to 'src/tools/binaryen-shell.cpp') 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); -- cgit v1.2.3