summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/tools/wasm-shell.cpp8
1 files changed, 7 insertions, 1 deletions
diff --git a/src/tools/wasm-shell.cpp b/src/tools/wasm-shell.cpp
index 320ed01e9..83d39c9d4 100644
--- a/src/tools/wasm-shell.cpp
+++ b/src/tools/wasm-shell.cpp
@@ -159,7 +159,13 @@ static void run_asserts(Name moduleName, size_t* i, bool* checked, Module* wasm,
if (!invalid && id == ASSERT_UNLINKABLE) {
// validate "instantiating" the mdoule
for (auto& import : wasm.imports) {
- if (import->module != SPECTEST || import->base != PRINT) {
+ if (import->module == SPECTEST && import->base == PRINT) {
+ if (import->kind != Import::Function) {
+ std::cerr << "spectest.print should be a function, but is " << import->kind << '\n';
+ invalid = true;
+ break;
+ }
+ } else {
std::cerr << "unknown import: " << import->module << '.' << import->base << '\n';
invalid = true;
break;