diff options
| author | Ben Smith <binji@chromium.org> | 2016-05-18 14:28:38 -0700 |
|---|---|---|
| committer | Ben Smith <binji@chromium.org> | 2016-05-18 14:50:18 -0700 |
| commit | 9702778b428574674e89cd7c8ffde427373d63e8 (patch) | |
| tree | 4e211e9bc9b2ce072a87f25063f090b63dcf6cdd /test/spec/binary.txt | |
| parent | d9534b10a85366a02425cf2f9ebfd2d939a7fc27 (diff) | |
| download | wabt-9702778b428574674e89cd7c8ffde427373d63e8.tar.gz wabt-9702778b428574674e89cd7c8ffde427373d63e8.tar.bz2 wabt-9702778b428574674e89cd7c8ffde427373d63e8.zip | |
update spec tests
* Parse memory pages as uint64, as we need to check whether it's invalid
in assert_invalid, and one of the spec tests uses the value 2**32.
* Update WASM_MAX_PAGES to 65535 (not 65536)
* Add the new spec tests: binary.wast, break-drop.wast and
typecheck.wast. A couple of these were added before, but weren't added
as .txt files in the test directory.
Diffstat (limited to 'test/spec/binary.txt')
| -rw-r--r-- | test/spec/binary.txt | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/test/spec/binary.txt b/test/spec/binary.txt new file mode 100644 index 00000000..a751911c --- /dev/null +++ b/test/spec/binary.txt @@ -0,0 +1,41 @@ +;;; TOOL: run-js-spec +;;; STDIN_FILE: third_party/testsuite/binary.wast +(;; STDOUT ;;; +assert_invalid error: + third_party/testsuite/binary.wast:4:18: error in binary module: @0x00000000: unable to read uint32_t: magic +(assert_invalid (module "") "unexpected end") + ^^^^^^ +assert_invalid error: + third_party/testsuite/binary.wast:5:18: error in binary module: @0x00000000: unable to read uint32_t: magic +(assert_invalid (module "\01") "unexpected end") + ^^^^^^ +assert_invalid error: + third_party/testsuite/binary.wast:6:18: error in binary module: @0x00000000: unable to read uint32_t: magic +(assert_invalid (module "\00as") "unexpected end") + ^^^^^^ +assert_invalid error: + third_party/testsuite/binary.wast:7:18: error in binary module: @0x00000000: unable to read uint32_t: magic +(assert_invalid (module "\01") "unexpected end") + ^^^^^^ +assert_invalid error: + third_party/testsuite/binary.wast:8:18: error in binary module: @0x00000004: magic value mismatch +(assert_invalid (module "asm\00") "magic header not detected") + ^^^^^^ +assert_invalid error: + third_party/testsuite/binary.wast:10:18: error in binary module: @0x00000004: unable to read uint32_t: version +(assert_invalid (module "\00asm") "unexpected end") + ^^^^^^ +assert_invalid error: + third_party/testsuite/binary.wast:11:18: error in binary module: @0x00000004: unable to read uint32_t: version +(assert_invalid (module "\00asm\0b") "unexpected end") + ^^^^^^ +assert_invalid error: + third_party/testsuite/binary.wast:12:18: error in binary module: @0x00000004: unable to read uint32_t: version +(assert_invalid (module "\00asm\0b\00\00") "unexpected end") + ^^^^^^ +assert_invalid error: + third_party/testsuite/binary.wast:13:18: error in binary module: @0x00000008: version mismatch +(assert_invalid (module "\00asm\10\00\00\00") "unknown binary version") + ^^^^^^ +0/0 tests passed. +;;; STDOUT ;;) |