From 498577be5fbec6c251f71356f4e03f085c58ae34 Mon Sep 17 00:00:00 2001
From: Alon Zakai <alonzakai@gmail.com>
Date: Wed, 11 Nov 2015 14:51:26 -0800
Subject: move validation to a side .h file, with a full WasmWalker

---
 src/wasm-shell.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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

diff --git a/src/wasm-shell.cpp b/src/wasm-shell.cpp
index 6b7586719..701b6b6c2 100644
--- a/src/wasm-shell.cpp
+++ b/src/wasm-shell.cpp
@@ -9,6 +9,7 @@
 
 #include "wasm-s-parser.h"
 #include "wasm-interpreter.h"
+#include "wasm-validator.h"
 
 using namespace cashew;
 using namespace wasm;
@@ -208,7 +209,7 @@ int main(int argc, char **argv) {
         }
         if (!invalid) {
           // maybe parsed ok, but otherwise incorrect
-          invalid = !wasm.validate();
+          invalid = !WasmValidator().validate(wasm);
         }
         assert(invalid);
       } else if (id == INVOKE) {
-- 
cgit v1.2.3