Update testsuite (#1275)

The two primary changes involved are:

1. Removal of `assert_return_canonical_nan`/`arithetic nan` in favor of
   special `nan:canonical`/`nan:arithmetic` constants that can only be
   used in test expectations.
   See: https://github.com/WebAssembly/spec/pull/1104

2. New trapping behaviour for bulk memory operations.  Range checks are
   now performed up front for opterations such as memory.fill and
   memory.copy.
   See: https://github.com/webassembly/bulk-memory-operations/issues/111
   And: https://github.com/webassembly/bulk-memory-operations/pull/123
   The old behaviour is still kept around to support table.fill which
   is defined in reference-types proposal and has yet to be updated.

1 files changed, 76 insertions, 75 deletions

diff --git a/test/spec/bulk-memory-operations/memory_init.txt b/test/spec/bulk-memory-operations/memory_init.txt
index 2e138d71..61d459a8 100644
--- a/test/spec/bulk-memory-operations/memory_init.txt
+++ b/test/spec/bulk-memory-operations/memory_init.txt
@@ -12,9 +12,9 @@ out/test/spec/bulk-memory-operations/memory_init.wast:189: assert_invalid passed
 out/test/spec/bulk-memory-operations/memory_init.wast:195: assert_invalid passed:
   error: invalid data_segment_index: 4 (max 1)
   000002c: error: OnDataDropExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:208: assert_trap passed: data segment dropped
-out/test/spec/bulk-memory-operations/memory_init.wast:216: assert_trap passed: data segment dropped
-out/test/spec/bulk-memory-operations/memory_init.wast:223: assert_trap passed: data segment dropped
+test() =>
+out/test/spec/bulk-memory-operations/memory_init.wast:216: assert_trap passed: out of bounds memory access: memory.init out of bounds
+out/test/spec/bulk-memory-operations/memory_init.wast:223: assert_trap passed: out of bounds memory access: memory.init out of bounds
 out/test/spec/bulk-memory-operations/memory_init.wast:226: assert_invalid passed:
   error: memory.init requires an imported or defined memory.
   000002f: error: OnMemoryInitExpr callback failed
@@ -25,205 +25,206 @@ test() =>
 out/test/spec/bulk-memory-operations/memory_init.wast:252: assert_trap passed: out of bounds memory access: memory.init out of bounds
 out/test/spec/bulk-memory-operations/memory_init.wast:259: assert_trap passed: out of bounds memory access: memory.init out of bounds
 out/test/spec/bulk-memory-operations/memory_init.wast:266: assert_trap passed: out of bounds memory access: memory.init out of bounds
+out/test/spec/bulk-memory-operations/memory_init.wast:273: assert_trap passed: out of bounds memory access: memory.init out of bounds
 test() =>
+out/test/spec/bulk-memory-operations/memory_init.wast:287: assert_trap passed: out of bounds memory access: memory.init out of bounds
 test() =>
 test() =>
-test() =>
-test() =>
-out/test/spec/bulk-memory-operations/memory_init.wast:304: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:308: assert_trap passed: out of bounds memory access: memory.init out of bounds
+out/test/spec/bulk-memory-operations/memory_init.wast:311: 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/bulk-memory-operations/memory_init.wast:312: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:319: 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/bulk-memory-operations/memory_init.wast:320: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:327: 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/bulk-memory-operations/memory_init.wast:328: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:335: 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/bulk-memory-operations/memory_init.wast:336: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:343: 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/bulk-memory-operations/memory_init.wast:344: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:351: 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/bulk-memory-operations/memory_init.wast:352: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:359: 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/bulk-memory-operations/memory_init.wast:360: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:367: 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/bulk-memory-operations/memory_init.wast:368: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:375: 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/bulk-memory-operations/memory_init.wast:376: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:383: 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/bulk-memory-operations/memory_init.wast:384: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:391: 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/bulk-memory-operations/memory_init.wast:392: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:399: 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/bulk-memory-operations/memory_init.wast:400: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:407: 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/bulk-memory-operations/memory_init.wast:408: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:415: 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/bulk-memory-operations/memory_init.wast:416: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:423: 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/bulk-memory-operations/memory_init.wast:424: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:431: 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/bulk-memory-operations/memory_init.wast:432: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:439: 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/bulk-memory-operations/memory_init.wast:440: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:447: 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/bulk-memory-operations/memory_init.wast:448: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:455: 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/bulk-memory-operations/memory_init.wast:456: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:463: 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/bulk-memory-operations/memory_init.wast:464: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:471: 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/bulk-memory-operations/memory_init.wast:472: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:479: 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/bulk-memory-operations/memory_init.wast:480: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:487: 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/bulk-memory-operations/memory_init.wast:488: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:495: 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/bulk-memory-operations/memory_init.wast:496: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:503: 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/bulk-memory-operations/memory_init.wast:504: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:511: 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/bulk-memory-operations/memory_init.wast:512: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:519: 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/bulk-memory-operations/memory_init.wast:520: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:527: 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/bulk-memory-operations/memory_init.wast:528: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:535: 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/bulk-memory-operations/memory_init.wast:536: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:543: 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/bulk-memory-operations/memory_init.wast:544: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:551: 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/bulk-memory-operations/memory_init.wast:552: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:559: 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/bulk-memory-operations/memory_init.wast:560: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:567: 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/bulk-memory-operations/memory_init.wast:568: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:575: 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/bulk-memory-operations/memory_init.wast:576: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:583: 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/bulk-memory-operations/memory_init.wast:584: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:591: 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/bulk-memory-operations/memory_init.wast:592: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:599: 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/bulk-memory-operations/memory_init.wast:600: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:607: 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/bulk-memory-operations/memory_init.wast:608: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:615: 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/bulk-memory-operations/memory_init.wast:616: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:623: 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/bulk-memory-operations/memory_init.wast:624: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:631: 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/bulk-memory-operations/memory_init.wast:632: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:639: 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/bulk-memory-operations/memory_init.wast:640: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:647: 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/bulk-memory-operations/memory_init.wast:648: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:655: 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/bulk-memory-operations/memory_init.wast:656: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:663: 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/bulk-memory-operations/memory_init.wast:664: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:671: 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/bulk-memory-operations/memory_init.wast:672: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:679: 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/bulk-memory-operations/memory_init.wast:680: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:687: 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/bulk-memory-operations/memory_init.wast:688: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:695: 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/bulk-memory-operations/memory_init.wast:696: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:703: 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/bulk-memory-operations/memory_init.wast:704: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:711: 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/bulk-memory-operations/memory_init.wast:712: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:719: 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/bulk-memory-operations/memory_init.wast:720: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:727: 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/bulk-memory-operations/memory_init.wast:728: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:735: 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/bulk-memory-operations/memory_init.wast:736: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:743: 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/bulk-memory-operations/memory_init.wast:744: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:751: 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/bulk-memory-operations/memory_init.wast:752: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:759: 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/bulk-memory-operations/memory_init.wast:760: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:767: 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/bulk-memory-operations/memory_init.wast:768: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:775: 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/bulk-memory-operations/memory_init.wast:776: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:783: 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/bulk-memory-operations/memory_init.wast:784: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:791: 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/bulk-memory-operations/memory_init.wast:792: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:799: 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/bulk-memory-operations/memory_init.wast:800: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:807: 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/bulk-memory-operations/memory_init.wast:825: assert_trap passed: out of bounds memory access: memory.init out of bounds
-out/test/spec/bulk-memory-operations/memory_init.wast:848: assert_trap passed: out of bounds memory access: memory.init out of bounds
-out/test/spec/bulk-memory-operations/memory_init.wast:871: assert_trap passed: out of bounds memory access: memory.init out of bounds
-out/test/spec/bulk-memory-operations/memory_init.wast:894: assert_trap passed: out of bounds memory access: memory.init out of bounds
-out/test/spec/bulk-memory-operations/memory_init.wast:917: assert_trap passed: out of bounds memory access: memory.init out of bounds
-out/test/spec/bulk-memory-operations/memory_init.wast:940: assert_trap passed: out of bounds memory access: memory.init out of bounds
-215/215 tests passed.
+out/test/spec/bulk-memory-operations/memory_init.wast:832: assert_trap passed: out of bounds memory access: memory.init out of bounds
+out/test/spec/bulk-memory-operations/memory_init.wast:855: assert_trap passed: out of bounds memory access: memory.init out of bounds
+out/test/spec/bulk-memory-operations/memory_init.wast:878: assert_trap passed: out of bounds memory access: memory.init out of bounds
+out/test/spec/bulk-memory-operations/memory_init.wast:901: assert_trap passed: out of bounds memory access: memory.init out of bounds
+out/test/spec/bulk-memory-operations/memory_init.wast:924: assert_trap passed: out of bounds memory access: memory.init out of bounds
+out/test/spec/bulk-memory-operations/memory_init.wast:947: assert_trap passed: out of bounds memory access: memory.init out of bounds
+216/216 tests passed.
 ;;; STDOUT ;;)