From 8ff678788ada565d15273ca6ca872946f14584d6 Mon Sep 17 00:00:00 2001
From: Alon Zakai <alonzakai@gmail.com>
Date: Fri, 16 Sep 2016 16:48:20 -0700
Subject: support assert_malformed in shell test runner

---
 src/tools/wasm-shell.cpp | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

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

diff --git a/src/tools/wasm-shell.cpp b/src/tools/wasm-shell.cpp
index a95ced87f..ddb2f8a85 100644
--- a/src/tools/wasm-shell.cpp
+++ b/src/tools/wasm-shell.cpp
@@ -34,6 +34,11 @@
 using namespace cashew;
 using namespace wasm;
 
+Name ASSERT_RETURN("assert_return"),
+     ASSERT_TRAP("assert_trap"),
+     ASSERT_INVALID("assert_invalid"),
+     ASSERT_MALFORMED("assert_malformed");
+
 //
 // An invocation into a module
 //
@@ -109,7 +114,7 @@ static void run_asserts(size_t* i, bool* checked, Module* wasm,
     Colors::green(std::cerr);
     std::cerr << " [line: " << curr.line << "]\n";
     Colors::normal(std::cerr);
-    if (id == ASSERT_INVALID) {
+    if (id == ASSERT_INVALID || id == ASSERT_MALFORMED) {
       // a module invalidity test
       Module wasm;
       bool invalid = false;
-- 
cgit v1.2.3