;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/reference-types/memory_copy.wast
;;; ARGS*: --enable-reference-types
(;; STDOUT ;;;
test() =>
test() =>
test() =>
test() =>
test() =>
test() =>
test() =>
test() =>
out/test/spec/reference-types/memory_copy.wast:350: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/reference-types/memory_copy.wast:711: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/reference-types/memory_copy.wast:1073: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/reference-types/memory_copy.wast:1434: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/reference-types/memory_copy.wast:1796: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/reference-types/memory_copy.wast:2157: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/reference-types/memory_copy.wast:2518: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/reference-types/memory_copy.wast:2879: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/reference-types/memory_copy.wast:3240: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/reference-types/memory_copy.wast:3601: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/reference-types/memory_copy.wast:3962: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/reference-types/memory_copy.wast:4316: assert_invalid passed:
  error: memory variable out of range: 0 (max 0)
  000002d: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4322: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, i32, f32]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4329: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, i32, i64]
  0000033: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4336: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, i32, f64]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4343: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f32, i32]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4350: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f32, f32]
  0000039: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4357: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f32, i64]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4364: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f32, f64]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4371: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, i64, i32]
  0000033: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4378: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, i64, f32]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4385: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, i64, i64]
  0000033: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4392: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, i64, f64]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4399: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f64, i32]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4406: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f64, f32]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4413: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f64, i64]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4420: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f64, f64]
  0000041: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4427: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, i32, i32]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4434: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, i32, f32]
  0000039: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4441: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, i32, i64]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4448: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, i32, f64]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4455: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, f32, i32]
  0000039: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4462: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, f32, f32]
  000003c: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4469: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, f32, i64]
  0000039: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4476: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, f32, f64]
  0000040: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4483: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, i64, i32]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4490: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, i64, f32]
  0000039: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4497: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, i64, i64]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4504: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, i64, f64]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4511: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, f64, i32]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4518: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, f64, f32]
  0000040: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4525: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, f64, i64]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4532: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, f64, f64]
  0000044: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4539: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, i32, i32]
  0000033: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4546: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, i32, f32]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4553: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, i32, i64]
  0000033: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4560: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, i32, f64]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4567: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, f32, i32]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4574: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, f32, f32]
  0000039: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4581: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, f32, i64]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4588: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, f32, f64]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4595: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, i64, i32]
  0000033: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4602: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, i64, f32]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4609: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, i64, i64]
  0000033: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4616: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, i64, f64]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4623: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, f64, i32]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4630: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, f64, f32]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4637: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, f64, i64]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4644: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, f64, f64]
  0000041: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4651: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, i32, i32]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4658: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, i32, f32]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4665: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, i32, i64]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4672: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, i32, f64]
  0000041: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4679: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, f32, i32]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4686: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, f32, f32]
  0000040: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4693: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, f32, i64]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4700: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, f32, f64]
  0000044: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4707: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, i64, i32]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4714: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, i64, f32]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4721: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, i64, i64]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4728: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, i64, f64]
  0000041: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4735: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, f64, i32]
  0000041: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4742: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, f64, f32]
  0000044: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4749: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, f64, i64]
  0000041: error: OnMemoryCopyExpr callback failed
out/test/spec/reference-types/memory_copy.wast:4756: assert_invalid passed:
  error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, f64, f64]
  0000048: error: OnMemoryCopyExpr callback failed
test() =>
test() =>
out/test/spec/reference-types/memory_copy.wast:4819: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/reference-types/memory_copy.wast:4825: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/reference-types/memory_copy.wast:4831: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/reference-types/memory_copy.wast:4837: assert_trap passed: out of bounds memory access: memory.copy out of bound
test() =>
test() =>
out/test/spec/reference-types/memory_copy.wast:4873: assert_trap passed: out of bounds memory access: memory.copy out of bound
test() =>
out/test/spec/reference-types/memory_copy.wast:4885: assert_trap passed: out of bounds memory access: memory.copy out of bound
test() =>
out/test/spec/reference-types/memory_copy.wast:4897: assert_trap passed: out of bounds memory access: memory.copy out of bound
test() =>
4417/4417 tests passed.
;;; STDOUT ;;)
