diff options
Diffstat (limited to 'src/tools/wasm-shell.cpp')
-rw-r--r-- | src/tools/wasm-shell.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/tools/wasm-shell.cpp b/src/tools/wasm-shell.cpp index 301da6cac..1430c1891 100644 --- a/src/tools/wasm-shell.cpp +++ b/src/tools/wasm-shell.cpp @@ -209,6 +209,9 @@ static void run_asserts(Name moduleName, result = operation.operate(); } catch (const TrapException&) { trapped = true; + } catch (const WasmException& e) { + std::cout << "[exception thrown: " << e.exn << "]" << std::endl; + trapped = true; } if (id == ASSERT_RETURN) { assert(!trapped); |