From 4a464bbd20dda5f67adc8721b7cc3df6f0f0f06f Mon Sep 17 00:00:00 2001
From: Alon Zakai <alonzakai@gmail.com>
Date: Wed, 4 Nov 2015 18:03:49 -0800
Subject: implement assert_return and assert_trap

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

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

diff --git a/src/wasm-shell.cpp b/src/wasm-shell.cpp
index 1ad0a19ad..4d2d3b560 100644
--- a/src/wasm-shell.cpp
+++ b/src/wasm-shell.cpp
@@ -154,11 +154,14 @@ int main(int argc, char **argv) {
         Expression* argument = builder.parseExpression(*invoke[2]);
         arguments.push_back(argument->dyn_cast<Const>()->value);
       }
+      bool trapped = false;
       if (setjmp(interface->trapState) == 0) {
         instance->callFunction(name, arguments);
       } else {
-        std::cout << "TRAPPED\n";
+        trapped = true;
       }
+      if (id == ASSERT_RETURN) assert(!trapped);
+      if (id == ASSERT_TRAP) assert(trapped);
       i++;
     }
   }
-- 
cgit v1.2.3