1 2 3 4 5 6
;;; TOOL: run-spec-wasm2c ;;; STDIN_FILE: third_party/testsuite/proposals/memory64/memory_init.wast ;;; ARGS*: --enable-memory64 (;; STDOUT ;;; 280/280 tests passed. ;;; STDOUT ;;)
