path: root/test/spec/switch.txt

;;; SKIP: switch generation not implemented currently
;;; EXE: test/run-d8.py
;;; FLAGS: --spec
;;; STDIN_FILE: third_party/testsuite/switch.wast