diff options
| author | Ben Smith <binjimin@gmail.com> | 2017-01-27 11:00:34 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-27 11:00:34 -0800 |
| commit | 48402a5e44f99426c62fab94ed2b3ddf36bd75df (patch) | |
| tree | 4c34b55b7c5a8cf329a14e3ed3ca8e8795c837f5 /test/spec/exports.txt | |
| parent | 85947db54125eecc6d6755103b9984828766bc4b (diff) | |
| download | wabt-48402a5e44f99426c62fab94ed2b3ddf36bd75df.tar.gz wabt-48402a5e44f99426c62fab94ed2b3ddf36bd75df.tar.bz2 wabt-48402a5e44f99426c62fab94ed2b3ddf36bd75df.zip | |
Implement assert_invalid for wasm-interp (#294)
Diffstat (limited to 'test/spec/exports.txt')
| -rw-r--r-- | test/spec/exports.txt | 64 |
1 files changed, 63 insertions, 1 deletions
diff --git a/test/spec/exports.txt b/test/spec/exports.txt index 034b6c23..d20d5aad 100644 --- a/test/spec/exports.txt +++ b/test/spec/exports.txt @@ -89,5 +89,67 @@ assert_invalid error: out/third_party/testsuite/exports.wast:194:64: redefinition of export "a" ... (memory 0) (table 0 anyfunc) (export "a" (memory 0)) (export "a" (table 0))) ^^^^^^^^^^^^^^^^^^^^^^ -6/6 tests passed. +out/third_party/testsuite/exports.wast:27: assert_invalid passed: + error: @0x00000019: invalid export func index: 1 +out/third_party/testsuite/exports.wast:31: assert_invalid passed: + error: duplicate export "a" + error: @0x0000001d: on_export callback failed +out/third_party/testsuite/exports.wast:35: assert_invalid passed: + error: duplicate export "a" + error: @0x0000001e: on_export callback failed +out/third_party/testsuite/exports.wast:39: assert_invalid passed: + error: duplicate export "a" + error: @0x00000025: on_export callback failed +out/third_party/testsuite/exports.wast:43: assert_invalid passed: + error: duplicate export "a" + error: @0x00000023: on_export callback failed +out/third_party/testsuite/exports.wast:47: assert_invalid passed: + error: duplicate export "a" + error: @0x00000022: on_export callback failed +out/third_party/testsuite/exports.wast:76: assert_invalid passed: + error: @0x00000017: invalid export global index +out/third_party/testsuite/exports.wast:80: assert_invalid passed: + error: duplicate export "a" + error: @0x0000001b: on_export callback failed +out/third_party/testsuite/exports.wast:84: assert_invalid passed: + error: duplicate export "a" + error: @0x00000020: on_export callback failed +out/third_party/testsuite/exports.wast:88: assert_invalid passed: + error: duplicate export "a" + error: @0x00000025: on_export callback failed +out/third_party/testsuite/exports.wast:92: assert_invalid passed: + error: duplicate export "a" + error: @0x00000021: on_export callback failed +out/third_party/testsuite/exports.wast:96: assert_invalid passed: + error: duplicate export "a" + error: @0x00000020: on_export callback failed +out/third_party/testsuite/exports.wast:124: assert_invalid passed: + error: @0x00000015: invalid export table index +out/third_party/testsuite/exports.wast:128: assert_invalid passed: + error: duplicate export "a" + error: @0x00000019: on_export callback failed +out/third_party/testsuite/exports.wast:137: assert_invalid passed: + error: duplicate export "a" + error: @0x00000023: on_export callback failed +out/third_party/testsuite/exports.wast:141: assert_invalid passed: + error: duplicate export "a" + error: @0x00000021: on_export callback failed +out/third_party/testsuite/exports.wast:145: assert_invalid passed: + error: duplicate export "a" + error: @0x0000001e: on_export callback failed +out/third_party/testsuite/exports.wast:173: assert_invalid passed: + error: @0x00000014: invalid export memory index +out/third_party/testsuite/exports.wast:177: assert_invalid passed: + error: duplicate export "a" + error: @0x00000018: on_export callback failed +out/third_party/testsuite/exports.wast:186: assert_invalid passed: + error: duplicate export "a" + error: @0x00000022: on_export callback failed +out/third_party/testsuite/exports.wast:190: assert_invalid passed: + error: duplicate export "a" + error: @0x00000020: on_export callback failed +out/third_party/testsuite/exports.wast:194: assert_invalid passed: + error: duplicate export "a" + error: @0x0000001e: on_export callback failed +28/28 tests passed. ;;; STDOUT ;;) |