1 files changed, 4 insertions, 0 deletions
diff --git a/src/wasm-shell.cpp b/src/wasm-shell.cpp
index fd6adcfaf..1ebb0feeb 100644
--- a/src/wasm-shell.cpp
+++ b/src/wasm-shell.cpp
@@ -175,6 +175,10 @@ int main(int argc, char **argv) {
             longjmp(trapState, 1);
           });
         }
+        if (!invalid) {
+          // maybe parsed ok, but otherwise incorrect
+          invalid = !wasm.validate();
+        }
         assert(invalid);
       } else {
         // an invoke test