diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-08-02 20:35:15 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-09-07 09:54:50 -0700 |
| commit | b349c227aad37db102c644e6fe8030e9f939ef89 (patch) | |
| tree | ffcbba831f92ebafc3ece3a1da93f45f4440d7b4 | |
| parent | fbe77b167002e8a49225b607ca8c37dc7e4b41fe (diff) | |
| download | binaryen-b349c227aad37db102c644e6fe8030e9f939ef89.tar.gz binaryen-b349c227aad37db102c644e6fe8030e9f939ef89.tar.bz2 binaryen-b349c227aad37db102c644e6fe8030e9f939ef89.zip | |
better printing when assert_invalids fail
| -rw-r--r-- | src/tools/wasm-shell.cpp | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/tools/wasm-shell.cpp b/src/tools/wasm-shell.cpp index 72e8e13ba..32bc746b2 100644 --- a/src/tools/wasm-shell.cpp +++ b/src/tools/wasm-shell.cpp @@ -125,7 +125,13 @@ static void run_asserts(size_t* i, bool* checked, Module* wasm, // maybe parsed ok, but otherwise incorrect invalid = !WasmValidator().validate(wasm); } - assert(invalid); + if (!invalid) { + Colors::red(std::cerr); + std::cerr << "[should have been invalid]\n"; + Colors::normal(std::cerr); + std::cerr << &wasm << '\n'; + abort(); + } } else if (id == INVOKE) { assert(wasm); Invocation invocation(curr, instance.get(), *builder->get()); |