summaryrefslogtreecommitdiff
path: root/test/spec/binary.txt
diff options
context:
space:
mode:
authorBen Smith <binji@chromium.org>2016-12-02 11:47:12 -0800
committerBen Smith <binji@chromium.org>2016-12-06 17:31:07 -0800
commitdfec7714c1ac9b0ac2b126162f5f6703ed0fd665 (patch)
tree2ef4449160282c0550ca52bb769211df3a55b27e /test/spec/binary.txt
parent4a7fb609422e8f36f4339769f0c5901b00fbeccd (diff)
downloadwabt-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.txt20
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 ;;)