| ;;; TOOL: run-interp-spec |
| ;;; STDIN_FILE: third_party/testsuite/data.wast |
| (;; STDOUT ;;; |
| out/test/spec/data.wast:293: assert_invalid passed: |
| 0000000: error: memory variable out of range: 0 (max 0) |
| 000000c: error: BeginDataSegment callback failed |
| out/test/spec/data.wast:301: assert_invalid passed: |
| 0000000: error: memory variable out of range: 1 (max 1) |
| 0000012: error: BeginDataSegment callback failed |
| out/test/spec/data.wast:314: assert_invalid passed: |
| 0000000: error: memory variable out of range: 0 (max 0) |
| 000000c: error: BeginDataSegment callback failed |
| out/test/spec/data.wast:325: assert_invalid passed: |
| 0000000: error: memory variable out of range: 1 (max 0) |
| 000000d: error: BeginDataSegment callback failed |
| out/test/spec/data.wast:337: assert_invalid passed: |
| 0000000: error: memory variable out of range: 1 (max 1) |
| 0000012: error: BeginDataSegment callback failed |
| out/test/spec/data.wast:359: assert_invalid passed: |
| 0000000: error: memory variable out of range: 1 (max 0) |
| 000000d: error: BeginDataSegment callback failed |
| out/test/spec/data.wast:378: assert_invalid passed: |
| error: type mismatch at data segment offset. got i64, expected i32 |
| 0000014: error: EndDataSegmentInitExpr callback failed |
| out/test/spec/data.wast:386: assert_invalid passed: |
| error: invalid data segment offset, must be a constant expression; either iXX.const or global.get. |
| 0000014: error: EndDataSegmentInitExpr callback failed |
| out/test/spec/data.wast:394: assert_invalid passed: |
| error: invalid data segment offset, must be a constant expression; either iXX.const or global.get. |
| 0000012: error: EndDataSegmentInitExpr callback failed |
| out/test/spec/data.wast:402: assert_invalid passed: |
| error: expected END opcode after initializer expression |
| 0000015: error: OnI32ConstExpr callback failed |
| out/test/spec/data.wast:410: assert_invalid passed: |
| error: expected END opcode after initializer expression |
| 000002b: error: OnGlobalGetExpr callback failed |
| out/test/spec/data.wast:419: assert_invalid passed: |
| error: expected END opcode after initializer expression |
| 000002b: error: OnI32ConstExpr callback failed |
| out/test/spec/data.wast:428: assert_invalid passed: |
| error: Unepxected opcode in init expr |
| 0000014: error: OnUnaryExpr callback failed |
| out/test/spec/data.wast:436: assert_invalid passed: |
| error: Unepxected opcode in init expr |
| 0000012: error: OnNopExpr callback failed |
| out/test/spec/data.wast:444: assert_invalid passed: |
| error: Unepxected opcode in init expr |
| 0000012: error: OnNopExpr callback failed |
| out/test/spec/data.wast:452: assert_invalid passed: |
| error: Unepxected opcode in init expr |
| 0000014: error: OnNopExpr callback failed |
| out/test/spec/data.wast:466: assert_invalid passed: |
| 0000000: error: global variable out of range: 0 (max 0) |
| error: initializer expression cannot reference a mutable global |
| 0000014: error: EndDataSegmentInitExpr callback failed |
| out/test/spec/data.wast:474: assert_invalid passed: |
| 0000000: error: global variable out of range: 1 (max 1) |
| error: initializer expression cannot reference a mutable global |
| 000002a: error: EndDataSegmentInitExpr callback failed |
| out/test/spec/data.wast:483: assert_invalid passed: |
| error: initializer expression cannot reference a mutable global |
| 000002e: error: EndDataSegmentInitExpr callback failed |
| 33/33 tests passed. |
| ;;; STDOUT ;;) |
