;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/proposals/multi-memory/memory-multi.wast ;;; ARGS*: --enable-multi-memory (;; STDOUT ;;; 6/6 tests passed. ;;; STDOUT ;;)