diff options
author | Ben Smith <binji@chromium.org> | 2016-12-02 11:47:12 -0800 |
---|---|---|
committer | Ben Smith <binji@chromium.org> | 2016-12-06 17:31:07 -0800 |
commit | dfec7714c1ac9b0ac2b126162f5f6703ed0fd665 (patch) | |
tree | 2ef4449160282c0550ca52bb769211df3a55b27e /test/spec/binary.txt | |
parent | 4a7fb609422e8f36f4339769f0c5901b00fbeccd (diff) | |
download | wabt-dfec7714c1ac9b0ac2b126162f5f6703ed0fd665.tar.gz wabt-dfec7714c1ac9b0ac2b126162f5f6703ed0fd665.tar.bz2 wabt-dfec7714c1ac9b0ac2b126162f5f6703ed0fd665.zip |
Implement assert_{malformed,unlinkable,uninstantiable}
Diffstat (limited to 'test/spec/binary.txt')
-rw-r--r-- | test/spec/binary.txt | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/test/spec/binary.txt b/test/spec/binary.txt index 789fba87..ff374033 100644 --- a/test/spec/binary.txt +++ b/test/spec/binary.txt @@ -37,5 +37,23 @@ assert_malformed error: third_party/testsuite/binary.wast:15:20: error in binary module: @0x00000008: bad wasm file version: 0xe (expected 0xd) (assert_malformed (module "\00asm\0e\00\00\00") "unknown binary version") ^^^^^^ -0/0 tests passed. +third_party/testsuite/binary.wast:6: assert_malformed passed: + error: @0x00000000: unable to read uint32_t: magic +third_party/testsuite/binary.wast:7: assert_malformed passed: + error: @0x00000000: unable to read uint32_t: magic +third_party/testsuite/binary.wast:8: assert_malformed passed: + error: @0x00000000: unable to read uint32_t: magic +third_party/testsuite/binary.wast:9: assert_malformed passed: + error: @0x00000000: unable to read uint32_t: magic +third_party/testsuite/binary.wast:10: assert_malformed passed: + error: @0x00000004: bad magic value +third_party/testsuite/binary.wast:12: assert_malformed passed: + error: @0x00000004: unable to read uint32_t: version +third_party/testsuite/binary.wast:13: assert_malformed passed: + error: @0x00000004: unable to read uint32_t: version +third_party/testsuite/binary.wast:14: assert_malformed passed: + error: @0x00000004: unable to read uint32_t: version +third_party/testsuite/binary.wast:15: assert_malformed passed: + error: @0x00000008: bad wasm file version: 0xe (expected 0xd) +9/9 tests passed. ;;; STDOUT ;;) |