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);