diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2015-11-11 14:51:26 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2015-11-11 14:51:26 -0800 |
| commit | 498577be5fbec6c251f71356f4e03f085c58ae34 (patch) | |
| tree | 1e72047ab53ceeb19a53aad9ac40ae579f87d57a /src/wasm-shell.cpp | |
| parent | 3a8876cbde436085f6361e93377ee96e3578e2dd (diff) | |
| download | binaryen-498577be5fbec6c251f71356f4e03f085c58ae34.tar.gz binaryen-498577be5fbec6c251f71356f4e03f085c58ae34.tar.bz2 binaryen-498577be5fbec6c251f71356f4e03f085c58ae34.zip | |
move validation to a side .h file, with a full WasmWalker
Diffstat (limited to 'src/wasm-shell.cpp')
| -rw-r--r-- | src/wasm-shell.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
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) { |