diff options
Diffstat (limited to 'test/lit/passes/skip-missing.wast')
| -rw-r--r-- | test/lit/passes/skip-missing.wast | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/lit/passes/skip-missing.wast b/test/lit/passes/skip-missing.wast new file mode 100644 index 000000000..02778dab0 --- /dev/null +++ b/test/lit/passes/skip-missing.wast @@ -0,0 +1,8 @@ +;; We should warn on a pass called "waka" not having been run and skipped. + +;; RUN: wasm-opt %s -O1 --skip-pass=waka 2>&1 | filecheck %s + +;; CHECK: warning: --waka was requested to be skipped, but it was not found in the passes that were run. + +(module +) |