;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/multi-memory/memory_copy1.wast
;;; ARGS*: --enable-multi-memory
(;; STDOUT ;;;
copy(i32:10, i32:0, i32:4) =>
copy(i32:65280, i32:0, i32:256) =>
copy(i32:65024, i32:65280, i32:256) =>
copy(i32:65536, i32:0, i32:0) =>
copy(i32:0, i32:65536, i32:0) =>
out/test/spec/multi-memory/memory_copy1.wast:37: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/multi-memory/memory_copy1.wast:39: assert_trap passed: out of bounds memory access: memory.copy out of bound
14/14 tests passed.
;;; STDOUT ;;)
