;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/reference-types/memory_init.wast
;;; ARGS*: --enable-reference-types
(;; STDOUT ;;;
test() =>
test() =>
test() =>
test() =>
out/test/spec/reference-types/memory_init.wast:190: assert_invalid passed:
  0000000: error: data_segment variable out of range: 0 (max 0)
  0000027: error: OnDataDropExpr callback failed
out/test/spec/reference-types/memory_init.wast:196: assert_invalid passed:
  0000000: error: data_segment variable out of range: 4 (max 1)
  000002c: error: OnDataDropExpr callback failed
test() =>
out/test/spec/reference-types/memory_init.wast:217: assert_trap passed: out of bounds memory access: memory.init out of bounds
out/test/spec/reference-types/memory_init.wast:224: assert_trap passed: out of bounds memory access: memory.init out of bounds
out/test/spec/reference-types/memory_init.wast:227: assert_invalid passed:
  error: memory variable out of range: 0 (max 0)
  0000000: error: data_segment variable out of range: 1 (max 0)
  000002f: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:233: assert_invalid passed:
  0000000: error: data_segment variable out of range: 1 (max 1)
  0000034: error: OnMemoryInitExpr callback failed
test() =>
out/test/spec/reference-types/memory_init.wast:253: assert_trap passed: out of bounds memory access: memory.init out of bounds
out/test/spec/reference-types/memory_init.wast:260: assert_trap passed: out of bounds memory access: memory.init out of bounds
out/test/spec/reference-types/memory_init.wast:267: assert_trap passed: out of bounds memory access: memory.init out of bounds
out/test/spec/reference-types/memory_init.wast:274: assert_trap passed: out of bounds memory access: memory.init out of bounds
test() =>
out/test/spec/reference-types/memory_init.wast:288: assert_trap passed: out of bounds memory access: memory.init out of bounds
test() =>
test() =>
out/test/spec/reference-types/memory_init.wast:309: assert_trap passed: out of bounds memory access: memory.init out of bounds
out/test/spec/reference-types/memory_init.wast:312: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, i32, f32]
  0000036: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:320: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, i32, i64]
  0000033: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:328: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, i32, f64]
  000003a: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:336: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, f32, i32]
  0000036: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:344: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, f32, f32]
  0000039: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:352: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, f32, i64]
  0000036: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:360: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, f32, f64]
  000003d: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:368: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, i64, i32]
  0000033: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:376: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, i64, f32]
  0000036: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:384: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, i64, i64]
  0000033: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:392: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, i64, f64]
  000003a: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:400: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, f64, i32]
  000003a: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:408: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, f64, f32]
  000003d: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:416: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, f64, i64]
  000003a: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:424: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, f64, f64]
  0000041: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:432: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, i32, i32]
  0000036: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:440: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, i32, f32]
  0000039: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:448: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, i32, i64]
  0000036: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:456: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, i32, f64]
  000003d: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:464: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, f32, i32]
  0000039: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:472: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, f32, f32]
  000003c: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:480: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, f32, i64]
  0000039: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:488: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, f32, f64]
  0000040: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:496: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, i64, i32]
  0000036: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:504: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, i64, f32]
  0000039: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:512: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, i64, i64]
  0000036: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:520: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, i64, f64]
  000003d: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:528: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, f64, i32]
  000003d: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:536: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, f64, f32]
  0000040: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:544: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, f64, i64]
  000003d: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:552: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, f64, f64]
  0000044: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:560: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, i32, i32]
  0000033: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:568: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, i32, f32]
  0000036: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:576: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, i32, i64]
  0000033: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:584: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, i32, f64]
  000003a: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:592: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, f32, i32]
  0000036: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:600: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, f32, f32]
  0000039: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:608: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, f32, i64]
  0000036: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:616: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, f32, f64]
  000003d: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:624: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, i64, i32]
  0000033: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:632: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, i64, f32]
  0000036: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:640: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, i64, i64]
  0000033: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:648: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, i64, f64]
  000003a: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:656: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, f64, i32]
  000003a: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:664: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, f64, f32]
  000003d: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:672: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, f64, i64]
  000003a: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:680: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, f64, f64]
  0000041: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:688: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, i32, i32]
  000003a: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:696: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, i32, f32]
  000003d: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:704: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, i32, i64]
  000003a: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:712: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, i32, f64]
  0000041: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:720: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, f32, i32]
  000003d: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:728: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, f32, f32]
  0000040: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:736: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, f32, i64]
  000003d: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:744: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, f32, f64]
  0000044: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:752: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, i64, i32]
  000003a: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:760: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, i64, f32]
  000003d: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:768: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, i64, i64]
  000003a: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:776: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, i64, f64]
  0000041: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:784: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, f64, i32]
  0000041: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:792: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, f64, f32]
  0000044: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:800: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, f64, i64]
  0000041: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:808: assert_invalid passed:
  error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, f64, f64]
  0000048: error: OnMemoryInitExpr callback failed
out/test/spec/reference-types/memory_init.wast:833: assert_trap passed: out of bounds memory access: memory.init out of bounds
out/test/spec/reference-types/memory_init.wast:856: assert_trap passed: out of bounds memory access: memory.init out of bounds
out/test/spec/reference-types/memory_init.wast:879: assert_trap passed: out of bounds memory access: memory.init out of bounds
out/test/spec/reference-types/memory_init.wast:902: assert_trap passed: out of bounds memory access: memory.init out of bounds
out/test/spec/reference-types/memory_init.wast:925: assert_trap passed: out of bounds memory access: memory.init out of bounds
out/test/spec/reference-types/memory_init.wast:948: assert_trap passed: out of bounds memory access: memory.init out of bounds
216/216 tests passed.
;;; STDOUT ;;)
