;;; TOOL: run-interp-spec
;;; STDIN_FILE: test/old-spec/proposals/memory64/address64.wast
;;; ARGS*: --enable-memory64
(;; STDOUT ;;;
out/test/spec/memory64/address64.wast:192: assert_trap passed: out of bounds memory access: access at 65533+4 >= max value 65536
out/test/spec/memory64/address64.wast:194: assert_trap passed: out of bounds memory access: access at 4294967295+1 >= max value 65536
out/test/spec/memory64/address64.wast:195: assert_trap passed: out of bounds memory access: access at 4294967295+1 >= max value 65536
out/test/spec/memory64/address64.wast:196: assert_trap passed: out of bounds memory access: access at 4294967295+2 >= max value 65536
out/test/spec/memory64/address64.wast:197: assert_trap passed: out of bounds memory access: access at 4294967295+2 >= max value 65536
out/test/spec/memory64/address64.wast:198: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536
out/test/spec/memory64/address64.wast:200: assert_trap passed: out of bounds memory access: access at 4294967296+1 >= max value 65536
out/test/spec/memory64/address64.wast:201: assert_trap passed: out of bounds memory access: access at 4294967296+1 >= max value 65536
out/test/spec/memory64/address64.wast:202: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536
out/test/spec/memory64/address64.wast:203: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536
out/test/spec/memory64/address64.wast:204: assert_trap passed: out of bounds memory access: access at 4294967296+4 >= max value 65536
out/test/spec/memory64/address64.wast:472: assert_trap passed: out of bounds memory access: access at 65529+8 >= max value 65536
out/test/spec/memory64/address64.wast:474: assert_trap passed: out of bounds memory access: access at 4294967295+1 >= max value 65536
out/test/spec/memory64/address64.wast:475: assert_trap passed: out of bounds memory access: access at 4294967295+1 >= max value 65536
out/test/spec/memory64/address64.wast:476: assert_trap passed: out of bounds memory access: access at 4294967295+2 >= max value 65536
out/test/spec/memory64/address64.wast:477: assert_trap passed: out of bounds memory access: access at 4294967295+2 >= max value 65536
out/test/spec/memory64/address64.wast:478: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536
out/test/spec/memory64/address64.wast:479: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536
out/test/spec/memory64/address64.wast:480: assert_trap passed: out of bounds memory access: access at 4294967295+8 >= max value 65536
out/test/spec/memory64/address64.wast:482: assert_trap passed: out of bounds memory access: access at 4294967296+1 >= max value 65536
out/test/spec/memory64/address64.wast:483: assert_trap passed: out of bounds memory access: access at 4294967296+1 >= max value 65536
out/test/spec/memory64/address64.wast:484: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536
out/test/spec/memory64/address64.wast:485: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536
out/test/spec/memory64/address64.wast:486: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536
out/test/spec/memory64/address64.wast:487: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536
out/test/spec/memory64/address64.wast:488: assert_trap passed: out of bounds memory access: access at 4294967296+8 >= max value 65536
out/test/spec/memory64/address64.wast:532: assert_trap passed: out of bounds memory access: access at 65533+4 >= max value 65536
out/test/spec/memory64/address64.wast:534: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536
out/test/spec/memory64/address64.wast:535: assert_trap passed: out of bounds memory access: access at 4294967296+4 >= max value 65536
out/test/spec/memory64/address64.wast:579: assert_trap passed: out of bounds memory access: access at 65529+8 >= max value 65536
out/test/spec/memory64/address64.wast:581: assert_trap passed: out of bounds memory access: access at 4294967295+8 >= max value 65536
out/test/spec/memory64/address64.wast:582: assert_trap passed: out of bounds memory access: access at 4294967296+8 >= max value 65536
242/242 tests passed.
;;; STDOUT ;;)
