diff options
Diffstat (limited to 'src/tools/wasm-shell.cpp')
| -rw-r--r-- | src/tools/wasm-shell.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/tools/wasm-shell.cpp b/src/tools/wasm-shell.cpp index 9ad1fa799..d8cd11f41 100644 --- a/src/tools/wasm-shell.cpp +++ b/src/tools/wasm-shell.cpp @@ -23,9 +23,9 @@ #include <memory> #include "execution-results.h" +#include "feature-options.h" #include "pass.h" #include "shell-interface.h" -#include "support/command-line.h" #include "support/file.h" #include "wasm-interpreter.h" #include "wasm-printing.h" @@ -233,14 +233,14 @@ int main(int argc, const char* argv[]) { Name entry; std::set<size_t> skipped; - Options options("wasm-shell", "Execute .wast files"); + FeatureOptions options("wasm-shell", "Execute .wast files"); options .add( - "--entry", "-e", "call the entry point after parsing the module", + "--entry", "-e", "Call the entry point after parsing the module", Options::Arguments::One, [&entry](Options*, const std::string& argument) { entry = argument; }) .add( - "--skip", "-s", "skip input on certain lines (comma-separated-list)", + "--skip", "-s", "Skip input on certain lines (comma-separated-list)", Options::Arguments::One, [&skipped](Options*, const std::string& argument) { size_t i = 0; @@ -292,7 +292,7 @@ int main(int argc, const char* argv[]) { builders[moduleName].swap(builder); modules[moduleName].swap(module); i++; - bool valid = WasmValidator().validate(*modules[moduleName]); + bool valid = WasmValidator().validate(*modules[moduleName], options.getFeatures()); if (!valid) { WasmPrinter::printModule(modules[moduleName].get()); } |