From ff02ea0bbe7e3288a2463bb449eb74a2753dda10 Mon Sep 17 00:00:00 2001 From: Thomas Lively Date: Wed, 24 Apr 2024 11:06:17 -0700 Subject: [wasm-shell] Error on unknown commands (#6528) We previously ignored unknown wast commands, which could lead to the mistaken impression that we were passing test cases that we were in fact not running at all. Clarify matters by having wasm-shell error out on unrecognized commands, and comment out all such commands in our versions of the spec test. As we work toward being able to run the upstream spec tests, having these unsupported commands explicitly commented out will make it easier to track progress toward full support. --- src/tools/wasm-shell.cpp | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src') diff --git a/src/tools/wasm-shell.cpp b/src/tools/wasm-shell.cpp index 872d40c67..b282e1885 100644 --- a/src/tools/wasm-shell.cpp +++ b/src/tools/wasm-shell.cpp @@ -79,6 +79,8 @@ protected: parseAssertException(s); } else if ((id == ASSERT_INVALID) || (id == ASSERT_MALFORMED)) { parseModuleAssertion(s); + } else { + Fatal() << s.line << ": unknown command\n"; } } -- cgit v1.2.3