From af6b1a77673b1c49f4501918385bd463c50cb28b Mon Sep 17 00:00:00 2001
From: Alon Zakai <alonzakai@gmail.com>
Date: Fri, 29 Apr 2016 14:59:10 -0700
Subject: validate in binaryen shell and on wasm binaries, and fix type
 checking

---
 src/binaryen-shell.cpp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/binaryen-shell.cpp')

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;
 
-- 
cgit v1.2.3