| ;;; TOOL: run-interp-spec |
| ;;; STDIN_FILE: third_party/testsuite/binary.wast |
| (;; STDOUT ;;; |
| out/third_party/testsuite/binary.wast:6: assert_malformed passed: |
| error: @0x00000000: unable to read uint32_t: magic |
| out/third_party/testsuite/binary.wast:7: assert_malformed passed: |
| error: @0x00000000: unable to read uint32_t: magic |
| out/third_party/testsuite/binary.wast:8: assert_malformed passed: |
| error: @0x00000000: unable to read uint32_t: magic |
| out/third_party/testsuite/binary.wast:9: assert_malformed passed: |
| error: @0x00000004: bad magic value |
| out/third_party/testsuite/binary.wast:10: assert_malformed passed: |
| error: @0x00000004: bad magic value |
| out/third_party/testsuite/binary.wast:11: assert_malformed passed: |
| error: @0x00000004: bad magic value |
| out/third_party/testsuite/binary.wast:12: assert_malformed passed: |
| error: @0x00000004: bad magic value |
| out/third_party/testsuite/binary.wast:14: assert_malformed passed: |
| error: @0x00000004: unable to read uint32_t: version |
| out/third_party/testsuite/binary.wast:15: assert_malformed passed: |
| error: @0x00000004: unable to read uint32_t: version |
| out/third_party/testsuite/binary.wast:16: assert_malformed passed: |
| error: @0x00000004: unable to read uint32_t: version |
| out/third_party/testsuite/binary.wast:17: assert_malformed passed: |
| error: @0x00000008: bad wasm file version: 0xd (expected 0x1) |
| out/third_party/testsuite/binary.wast:18: assert_malformed passed: |
| error: @0x00000008: bad wasm file version: 0xe (expected 0x1) |
| out/third_party/testsuite/binary.wast:19: assert_malformed passed: |
| error: @0x00000008: bad wasm file version: 0x1000000 (expected 0x1) |
| 13/13 tests passed. |
| ;;; STDOUT ;;) |
